pub fn compare(pred: IntPred, a: Range, b: Range) -> TruthExpand description
Whether the ranges settle the comparison.
An empty operand means the comparison is on a path that is never taken, and this answers
Truth::Either for it rather than picking a side, because folding an unreachable comparison
to a constant is work spent on code that is about to be deleted anyway.