let
p_exists vars p =
Fol
.p_exists_vars do_exp_in_data vars p