let subst_vars_in_pred var_subst p = let rec do_exp exp = change_in_exp var_subst exp in change_exp_in_pred do_exp p