let translate_data_in_pred do_data p = let do_exp e = translate_data_in_term do_data e in let quantif_do_exp f_exp _ = f_exp in change_exp_in_pred do_exp quantif_do_exp p