Class BitVectorUnionConstant