let
e_var x =
TERM
.
Tvar
x