let subst_vars subst p =
      Fol.subst_vars_in_pred M.prop_in_data subst p