CHECK

open fun CHECK(): TerminalNode