ASYMMETRIC_VERIFY

open fun ASYMMETRIC_VERIFY(): TerminalNode