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

Member predicate RelationalOperation :: getLesserOperand

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

Expr getLesserOperand ( )