Predicate convertedBounded
Holds if e is bounded by b + delta. The bound is an upper bound if
upper is true, and can be traced back to a guard represented by reason.
The Expr may be a conversion.
Import path
import semmle.code.cpp.rangeanalysis.new.RangeAnalysis