public void VisitTerminal(ITerminalNode node)
{
this.output(this.Ident + " T: -> " + node.ToStringTree(this.parser));
}
public void VisitTerminal(ITerminalNode node)
{
Space(depth + 2);
output.WriteLine(node.ToStringTree());
}