let subst_vars_in_pred prop_in_data var_subst p = let rec do_exp exp = change_in_exp var_subst do_data exp and do_data d = prop_in_data do_exp d in change_exp_in_pred do_exp p