Add bitvector->intset.