CATCH

open fun CATCH(): TerminalNode