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
)