src/datalog_conformance/_tests/recursion/souffle_example_weighted_distances.yaml::souffle_weighted_distances_Reachable: _CaseVerificationError: predicate 'Reachable': expected [(0, 1, 3), (0, 2, -4), (0, 2, 8), (0, 3, -3), (0, 3, 9), (0, 4, -3), (1, 2, -7), (1, 2, 5), (1, 3, -6), (1, 3, 6), (1, 4, -6), (2, 3, 1), (4, 2, -1), (4, 3, 0)], got []
