Member predicate GeqExpr::getGreaterOperand

Gets the greater operand of this comparison, that is, the right operand for a < or <= comparison, and the left operand for >= or >.