(new DumpGraph()).dumpGraph(topLevel, SpaceDynamicBackend.makeDotFileName("beforeFGtoSIR", topLevelSIR), initExecutionCounts, steadyExecutionCounts);
    public void createSIRGraph()     {	//do we want this here?!!	setTopLevelSIR((new FlatGraphToSIR(topLevel)).getTopLevelSIR());	//topLevelSIR = (new FlatGraphToSIR(topLevel)).getTopLevelSIR();    }