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