THEN

open fun THEN(): TerminalNode