Optimize all cases of "icmp (X+Cst), X" to something simpler. This triggers