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