dests = EMPTY_DESTS;
this.dests = dests;
    public OutputTraceNode(int[] weights) {        // this.parent = parent;        ident = "output" + unique;        unique++;        this.weights = weights;        dests = EMPTY_DESTS;    }