DISJ

open fun DISJ(): TerminalNode