let e_false = TERM.Tfalse