Fold icmp ugt (udiv X, Y), X to false. Spotted by my super-optimizer