Removing an assumption (assert) that the CmpInst already has been
simplified in getFlippedStrictnessPredicateAndConstant. Solution is
to simply bail out instead of hitting the assertion. Instead we
assume that any profitable rewrite will happen in the next iteration
The reason why we can't assume that the CmpInst already has been
simplified is that the worklist does not guarantee such an ordering.