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