Try once again to optimize "icmp (srem X, Y), Y" by turning the comparison into