CodeQL library for C#
codeql/csharp-all 0.7.5 ( changelog , source )

Member predicate GEExpr :: getGreaterOperand

Gets the operand on the “greater” (or “greater-or-equal”) side of this relational expression, that is, the side that is larger if the overall expression evaluates to true; for example on x <= 20 this is the 20, and on y > 0 it is y.

Expr getGreaterOperand ( )