support for TokenStreamRewriter.getText(TerminalNode)