BitVectorSplittingAtomicHighLevelStateHandler now supports Bits