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
)