let sym_mk_abs () = Apply.abs