add test for BitVector