OP: Joinpoint 'binaryOp'
