check idx of set/reset of BitVector
check idx of get of BitVector
direct build from SucVector