Predicate bounded2
Holds if i <= b + delta.
This predicate enforces a join-order that ensures that b has already been bound.
Import path
import semmle.code.cpp.rangeanalysis.new.RangeAnalysisUtilpredicate bounded2(Instruction i, Instruction b, int delta)