let subst_exp_mem m1 m2 e = 
    Fol.subst_in_exp M.prop_in_data m1 (Fol.Tvar m2) e