let pred_forall ~fresh v p = Fol.forall_pred M.prop_in_data fresh v p