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