Patch excluding bad bitvector axioms was removed.