graphFlattener.dumpGraph(SpaceDynamicBackend.makeDotFileName("flatgraph", topLevelSIR), initExecutionCounts, steadyExecutionCounts);
(new DumpGraph()).dumpGraph(graphFlattener.top, SpaceDynamicBackend.makeDotFileName("flatgraph", topLevelSIR), initExecutionCounts, steadyExecutionCounts);
    public void dumpFlatGraph()     {	//dump the flatgraph of the application, must be called after createExecutionCounts	graphFlattener.dumpGraph(SpaceDynamicBackend.makeDotFileName("flatgraph", topLevelSIR), initExecutionCounts,				 steadyExecutionCounts);    }