TerminalNode constructor

TerminalNode()