public abstract void DoVisit(AST_Module ast);
public override void DoVisit(AST_Module ast) { VisitChildren(ast); }
public override void DoVisit(AST_Module node) { Console.Write("(MODULE " + node.name); VisitChildren(node); Console.Write(")"); }