Avoid use of BitVector.size when possible