src/datalog_conformance/_tests/negation/souffle_example_topological_ordering.yaml::souffle_topological_ordering_is_before: _CaseVerificationError: predicate 'is_before': expected [('A', 'B'), ('A', 'C'), ('A', 'D'), ('A', 'E'), ('A', 'F'), ('A', 'G'), ('A', 'H'), ('A', 'I'), ('A', 'J'), ('A', 'K'), ('A', 'L'), ('A', 'M'), ('B', 'C'), ('B', 'D'), ('B', 'E'), ('B', 'F'), ('B', 'G'), ('B', 'H'), ('B', 'I'), ('B', 'J'), ('B', 'K'), ('B', 'L'), ('B', 'M'), ('C', 'D'), ('C', 'E'), ('C', 'F'), ('C', 'G'), ('C', 'H'), ('C', 'I'), ('C', 'J'), ('C', 'K'), ('C', 'L'), ('C', 'M'), ('D', 'E'), ('D', 'F'), ('D', 'G'), ('D', 'H'), ('D', 'I'), ('D', 'J'), ('D', 'K'), ('D', 'L'), ('D', 'M'), ('E', 'F'), ('E', 'G'), ('E', 'H'), ('E', 'I'), ('E', 'J'), ('E', 'K'), ('E', 'L'), ('E', 'M'), ('F', 'G'), ('F', 'H'), ('F', 'I'), ('F', 'J'), ('F', 'K'), ('F', 'L'), ('F', 'M'), ('G', 'J'), ('G', 'M'), ('H', 'K'), ('H', 'M'), ('I', 'L'), ('I', 'M'), ('J', 'M'), ('K', 'M'), ('L', 'M')], got []
