let p_forall vars p = Fol.p_forall_vars do_exp_in_data vars p