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