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