Added TerminalSymbolNode.