Making getEqualityStatus more powerful for bit-vector theory.