Predicate TwoOperands::set

Holds if operand a and b are both operands of some shared operation, and that they are not the same operand.

Example usage:

predicate myBinaryTest(Expr a, Expr b) {
  TwoOperands<BinaryExpr>::set(a, b) and
  a.isInteger() and
  b.isConstant()
}