let translate_data_in_term do_data exp =
  change_in_exp (fun _v -> None) do_data exp