src/datalog_conformance/_tests/negation/souffle_evaluation_neg3.yaml::souffle_neg3_Y: _CaseVerificationError: predicate 'Y': expected [('a', 'b'), ('a', 'c'), ('a', 'd'), ('b', 'c'), ('b', 'd'), ('c', 'd')], got []
