Fix complement tests in test_inequalites