ENFORCED

open fun ENFORCED(): TerminalNode