let change_data_in_pred do_data_rec p = change_exp_in_pred (change_data_in_exp do_data_rec) no_quantif_do_exp p