private void decrementExecutionCounts(FlatNode fire, HashMap executionCounts)
private void decrementExecutionCounts(FlatNode fire, HashMap executionCounts, SimulationCounter counters)
    private void decrementExecutionCounts(FlatNode fire, HashMap executionCounts)     {	int oldVal = ((Integer)executionCounts.get(fire)).intValue();	if (oldVal - 1 < 0)	    Utils.fail("Executed too much");	executionCounts.put(fire, new Integer(oldVal - 1));    }