Predicate directionIsGreater
Holds if dir is Greater (that is, a > or >= relation)
Import path
import semmle.code.cpp.rangeanalysis.RangeAnalysisUtilsHolds if dir is Greater (that is, a > or >= relation)
import semmle.code.cpp.rangeanalysis.RangeAnalysisUtils