public virtual void visit(Special node) { Console.WriteLine("Visiting {0}", node.ToString()); }
public virtual void visit(Special node) { }