EOF

open fun EOF(): TerminalNode