let translate_data_in_term
    (do_data:'-> 'b d_term) (exp:'a d_term) : 'b d_term =
  change_in_exp (fun _v -> None) do_data exp