let fold_data_in_pred do_var do_data_rec acc p =
  let rec do_exp acc e = fold_data_in_exp do_var do_data acc e
  and do_data acc d = do_data_rec do_exp acc d
  in fold_exp_in_pred do_exp acc p