let equal_pointer_bool = e_app2 mk_equal_pointer_bool