}
    public static int getMult(FlatNode node, boolean init)     {	Integer mult;	if (init) 	    mult = (Integer)initExecutionCounts.get(node);	else 	    mult = (Integer)steadyExecutionCounts.get(node);	if (mult == null)	    return 0;		return mult.intValue();    }