INT

open fun INT(): TerminalNode