graphFlattener.top.accept(new FlatVisitor() {
top.accept(new FlatVisitor() {
    public static void init(at.dms.kjc.flatgraph.GraphFlattener graphFlattener) {                graphFlattener.top.accept(new FlatVisitor() {        /**         * Needs to have root FlatNode of graph accept a NodeEnumerator to set up numbers to nodes associations.         */        public void visitNode(FlatNode node) {            Integer _int = new Integer(counter);             flatToId.put(node,_int);            idToFlatNode.put(_int, node);            if (! (node.contents == null)) {                opToId.put(node.contents, _int);                idToOperator.put(_int, node.contents);            } else if (!(node.oldContents == null)) {                opToId.put(node.oldContents, _int);                idToOperator.put(_int, node.oldContents);            }            counter++;                } } , new HashSet(), true);             }