INSTR

open fun INSTR(): TerminalNode