let sym_mk_apply _ = Apply.apply None