let
e_let x exp t =
if
bad_term_has_var [x] t
then
Tlet
(x, exp, t)
else
t