src/datalog_conformance/_tests/recursion/souffle_example_circuit_eval.yaml::souffle_circuit_eval_g_assignment: _CaseVerificationError: predicate 'g_assignment': expected [('a', 'true'), ('b', 'false'), ('c', 'true'), ('d', 'true'), ('e', 'false'), ('r', 'false'), ('s', 'true'), ('t', 'false'), ('x', 'true'), ('y', 'true')], got [('b', 'false'), ('e', 'false'), ('r', 'false'), ('t', 'false')]
