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