assert(b.size() == v.width());
// Make every column reduced, i.e., it is a zero-column or contains only one 1.
for (unsigned c=0; c < b.size(); ++c) {
assert(b.size() == v.width());
// Make every column reduced, i.e., it is a zero-column or contains only one 1.
for (unsigned c=0; c < b.size(); ++c) {