int suffix = Double.valueOf(Math.random() * 1000).intValue();
     public void createSIRGraph() {         //int suffix = Double.valueOf(Math.random() * 1000).intValue();         (new DumpGraph()).dumpGraph(topLevel, Utils                                     .makeDotFileName("beforeFGtoSIR"/* + suffix*/, topLevelSIR),                                     initExecutionCounts, steadyExecutionCounts);         setTopLevelSIR((new FlatGraphToSIR(topLevel)).getTopLevelSIR());         (new DumpGraph()).dumpGraph(topLevel, Utils                 .makeDotFileName("afterFGtoSIR"/* + suffix*/, topLevelSIR),                 initExecutionCounts, steadyExecutionCounts);     }