top.accept(new RawFlattener(), new HashSet(), true);
top.accept(this, new HashSet(), true);
    public static void dumpGraph(String filename)     {	buf = new StringBuffer();		buf.append("digraph Flattend {\n");	buf.append("size = \"8, 10.5\";");	top.accept(new RawFlattener(), new HashSet(), true);	buf.append("}\n");	try {	    FileWriter fw = new FileWriter(filename);	    fw.write(buf.toString());	    fw.close();	}	catch (Exception e) {	    System.err.println("Could not print flattened graph");	}	    }