else
} else
    public boolean depends(Trace trace) {	if(depends==null)	    return dependsTemp.contains(trace);	else	    for(int i=0;i<depends.length;i++)		if(depends[i]==trace)		    return true;	return false;    }