rename compressedBitVec to compressedExpression