src/datalog_conformance/_tests/negation/souffle_example_game2.yaml::souffle_game2_odd_move: _CaseVerificationError: predicate 'odd_move': expected [(1, 2), (1, 3), (1, 4), (1, 5), (2, 3), (3, 4)], got [(1, 3), (1, 5), (2, 3), (3, 4)]
