src/datalog_conformance/_tests/recursion/souffle_evaluation_grammar.yaml::souffle_grammar_a: _CaseVerificationError: predicate 'a': expected [(1, 2), (1, 3), (1, 4), (1, 5), (1, 6), (3, 4), (3, 5), (3, 6), (5, 6)], got [(3, 4), (3, 5), (3, 6), (5, 6)]
