steadyExecutionCounts);
steadyExecutionCounts, scheduler);
    private static void createExecutionCounts(FlatNode top)     {	Schedule schedule = SIRScheduler.getSchedule(getTopMostParent(top));	initExecutionCounts = new HashMap();	steadyExecutionCounts = new HashMap();	fillExecutionCounts(schedule.getInitSchedule(),			      initExecutionCounts);	fillExecutionCounts(schedule.getSteadySchedule(), 			      steadyExecutionCounts);    }