let subst_pred_mem m1 m2 e = 
    Fol.subst_in_pred M.prop_in_data m1 (Fol.Tvar m2) e