depends = new Trace[0]; edges = new Trace[0];
    public Trace(InputTraceNode head) {	this.head = head;	head.setParent(this);	depends = new Trace[0];	edges = new Trace[0];	len=-1;	dependsTemp=new ArrayList();	edgesTemp=new ArrayList();    }