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