If we know the sign of Y or the value of Y we can either evaluate or
simplify the condition.
icmp (X | MinInt) s> X --> false
icmp (X | MinInt) s<= X --> true
icmp (X | MinInt) s>= X --> X s< 0
icmp (X | MinInt) s< X --> X s>= 0
icmp (X | Pos_Y) s> X --> (X | Pos_Y) != X
icmp (X | Pos_Y) s<= X --> (X | Pos_Y) == X