let rec change_vars_in_exp prop_in_data var_subst exp = let do_data d = prop_in_data (change_vars_in_exp prop_in_data var_subst) d in change_in_exp var_subst do_data exp