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