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