Member predicate BinaryOperation::hasOperands
Holds if e1 and e2 (in either order) are the two operands of this
binary operation.
predicate hasOperands(Expr e1, Expr e2)Holds if e1 and e2 (in either order) are the two operands of this
binary operation.
predicate hasOperands(Expr e1, Expr e2)