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