CATCH

fun CATCH(): TerminalNode(source)