let p_exists vars p = Fol.p_exists_vars do_exp_in_data vars p