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