Fix bug in optimizing bitvector comparisons