Utils.fail("Cannot find weight for OutputTraceNode");
Utils.fail(this + " cannot find weight for OutputTraceNode " + out);
    public int getWeight(OutputTraceNode out)     {	for (int i = 0; i < sources.length; i++)	    if (sources[i] == out)		return weights[i];	Utils.fail("Cannot find weight for OutputTraceNode");	return -1;    }