assert(id == 0);
assert(way == 0);
    static int getPush(SIROperator oper, int id) {        assert(id >= 0);        if (oper instanceof SIRFilter) {            assert(id == 0);            return ((SIRFilter)oper).getPushInt();        }        if (oper instanceof SIRJoiner) {            assert(id == 0);            return ((SIRJoiner)oper).getSumOfWeights();        }        if (oper instanceof SIRSplitter) {            SIRSplitter s = (SIRSplitter)oper;            assert(id < s.getWays());            return s.getWeight(id);        }        assert(1 == 0);        return 0;    }