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