SESSION

open fun SESSION(): TerminalNode