Add more tests for binary rules