src/datalog_conformance/_tests/recursion/souffle_example_dfa_live_vars.yaml::souffle_dfa_live_vars_live_vars_out: _CaseVerificationError: predicate 'live_vars_out': expected [('A', 'x1'), ('B', 'x2'), ('C', 'x2'), ('D', 'x2'), ('D', 'x3')], got [('B', 'x2'), ('C', 'x2'), ('D', 'x2'), ('D', 'x3')]
