use BitVector::push_back instead of BitVector::set