Predicate RangeStage::RangeAnalysisCache::RangeAnalysisPublic::semBounded

Holds if b + delta is a valid bound for e.

• upper = true : e <= b + delta
• upper = false : e >= b + delta

The reason for the bound is given by reason and may be either a condition or NoReason if the bound was proven directly without the use of a bounding condition.