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
)