src/datalog_conformance/_tests/recursion/souffle_example_small.yaml::souffle_small_ancestor: _CaseVerificationError: predicate 'ancestor': expected [('alphonse', 'ann'), ('alphonse', 'bill'), ('alphonse', 'john'), ('alphonse', 'mireille'), ('brad', 'ann'), ('brad', 'bill'), ('brad', 'john'), ('claudette', 'ann'), ('jean-jacques', 'alphonse'), ('jean-jacques', 'ann'), ('jean-jacques', 'bill'), ('jean-jacques', 'john'), ('jean-jacques', 'mireille'), ('jeannette', 'bill'), ('john', 'ann'), ('john', 'bill'), ('mireille', 'ann'), ('mireille', 'bill'), ('mireille', 'john')], got [('alphonse', 'mireille'), ('brad', 'ann'), ('brad', 'bill'), ('brad', 'john'), ('jean-jacques', 'alphonse'), ('jean-jacques', 'mireille'), ('john', 'ann'), ('john', 'bill')]
