this.weights = weights;
if (weights.length == 1) this.weights = new int[]{1}; else this.weights = weights;
    public OutputTraceNode(int[] weights, Edge[][] dests) {        // this.parent = parent;        assert weights.length == dests.length : "weights must equal sources";        ident = "output" + unique;        unique++;        this.weights = weights;        this.dests = dests;    }