Complementary of the (a >= x) and (a <= y) optimization

(a >= X) and (a <= Y) where X and Y are compile-time constants is transformed into unsigned(a - X) <= (Y - X). That's great.

But (a < X) or (a > Y) does not transform into the negation of the above.