src/datalog_conformance/_tests/recursion/souffle_example_puzzle.yaml::souffle_puzzle_state: _CaseVerificationError: predicate 'state': expected [('n', 'n', 'n', 'n'), ('n', 'n', 'n', 's'), ('n', 'n', 's', 'n'), ('n', 's', 'n', 'n'), ('n', 's', 'n', 's'), ('s', 'n', 's', 'n'), ('s', 'n', 's', 's'), ('s', 's', 'n', 's'), ('s', 's', 's', 'n'), ('s', 's', 's', 's')], got []
