This reverts commit 4d11f04b20f0bd7488e19e8f178ba028412fa519. This breaks some programs as mentioned in #78636
(add/sub/disjoint_or/icmp C, (ctpop (not x)))
(a % b) lt/ge (b-1)
(a % b) eq/ne (b-1)
SimplifyQuery
computeKnownBits