Member predicate RelationalOperation::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
.