Predicate exprWithEmptyRange

Holds if expr has a provably empty range. For example:

10 < expr and expr < 5

The range of an expression can only be empty if it can never be executed. For example:

if (10 < x) {
  if (x < 5) {
    // Unreachable code
    return x; // x has an empty range: 10 < x && x < 5
  }
}