Refer to https://bugs.llvm.org/show_bug.cgi?id=52546. Simplifies the following cases:

- not(X) == 0 -> X != 0 -> X
- not(X) <=u 0 -> X >u 0 -> X
- not(X) >=s 0 -> X <s 0 -> X
- not(X) != 1 -> X == 1 -> X
- not(X) <=u 1 -> X >=u 1 -> X
- not(X) >s 1 -> X <=s -1 -> X