BinaryOp instrumented