Member predicate BinaryInstruction :: hasOperands
Holds if this instruction’s operands are op1 and op2, in either order.
predicate
hasOperands
(
Operand
op1
,
Operand
op2
)