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