assert(
                    label[bv] === 2 ||
                        (label[bv] === 1 && labelend[bv] === mate[blossombase[bv]]),
                );