Predicate directionIsLesser
Holds if dir is Lesser (that is, a < or <= relation)
Import path
import semmle.code.cpp.rangeanalysis.RangeAnalysisUtilsHolds if dir is Lesser (that is, a < or <= relation)
import semmle.code.cpp.rangeanalysis.RangeAnalysisUtils