Class UnaryBitVectorUnion