src/datalog_conformance/_tests/basic/souffle_example_input_output.yaml::souffle_input_output_OutputReceiveSymbolNumber: _CaseVerificationError: predicate 'OutputReceiveSymbolNumber': expected [('a', 0), ('b', 1)], got [('a', 0)]
