REQUIRE

open fun REQUIRE(): TerminalNode