Member predicate BinaryExpr :: hasOperands
Holds if e and f (in either order) are the two operands of this expression.
predicate
hasOperands
(
Expr
e
,
Expr
f
)