src/datalog_conformance/_tests/recursion/souffle_example_ackermann.yaml::souffle_ackermann_ack: _CaseVerificationError: predicate 'ack': expected [(0, 0, 1), (0, 1, 2), (0, 10, 11), (0, 11, 12), (0, 12, 13), (0, 13, 14), (0, 14, 15), (0, 15, 16), (0, 16, 17), (0, 17, 18), (0, 18, 19), (0, 19, 20), (0, 2, 3), (0, 20, 21), (0, 3, 4), (0, 4, 5), (0, 5, 6), (0, 6, 7), (0, 7, 8), (0, 8, 9), (0, 9, 10), (1, 0, 2), (1, 1, 3), (1, 10, 12), (1, 11, 13), (1, 12, 14), (1, 13, 15), (1, 14, 16), (1, 15, 17), (1, 16, 18), (1, 17, 19), (1, 18, 20), (1, 19, 21), (1, 2, 4), (1, 3, 5), (1, 4, 6), (1, 5, 7), (1, 6, 8), (1, 7, 9), (1, 8, 10), (1, 9, 11), (2, 0, 3), (2, 1, 5), (2, 2, 7), (2, 3, 9), (2, 4, 11), (2, 5, 13), (2, 6, 15), (2, 7, 17), (2, 8, 19), (2, 9, 21), (3, 0, 5), (3, 1, 13), (4, 0, 13)], got []
