BitVecAll Description Check if all bits in bitvector match the given value.
BitVecRemoveAll Description Remove all occurrences of a specific bit value. Returns the number of bits that were removed.