src/datalog_conformance/_tests/negation/souffle_example_disconnected.yaml::souffle_disconnected_DisConnected: _CaseVerificationError: predicate 'DisConnected': expected [('a', 'f'), ('a', 'g'), ('a', 'h'), ('b', 'a'), ('b', 'f'), ('b', 'g'), ('b', 'h'), ('c', 'a'), ('c', 'b'), ('c', 'f'), ('c', 'g'), ('c', 'h'), ('f', 'a'), ('f', 'b'), ('f', 'c'), ('f', 'd'), ('f', 'e'), ('g', 'a'), ('g', 'b'), ('g', 'c'), ('g', 'd'), ('g', 'e'), ('h', 'a'), ('h', 'b'), ('h', 'c'), ('h', 'd'), ('h', 'e')], got [('a', 'a'), ('a', 'f'), ('a', 'g'), ('a', 'h'), ('b', 'a'), ('b', 'f'), ('b', 'g'), ('b', 'h'), ('c', 'a'), ('c', 'b'), ('c', 'f'), ('c', 'g'), ('c', 'h'), ('f', 'a'), ('f', 'b'), ('f', 'c'), ('g', 'a'), ('g', 'b'), ('g', 'c'), ('h', 'a'), ('h', 'b'), ('h', 'c')]
