test cases BinaryOps