let e_var x = TERM.Tvar x