Tests for binary_op