Predicate upperBoundMayBeWidened
Holds if the upper bound of expr may have been widened. This means the
upper bound is in practice likely to be overly wide.
Import path
import semmle.code.cpp.rangeanalysis.new.SimpleRangeAnalysispredicate upperBoundMayBeWidened(Expr e)