this.weights = weights;
if (weights.length == 1) this.weights = new int[]{1}; else this.weights = weights;
    public InputTraceNode(int[] weights, Edge[] sources) {        // this.parent = parent;        if (weights.length != sources.length)            Utils.fail("Add comment later");        this.sources = sources;        this.weights = weights;        ident = "input" + unique;        unique++;    }