AND

open fun AND(): TerminalNode