src/datalog_conformance/_tests/basic/souffle_example_metro.yaml::souffle_metro_platform2_reach: _CaseVerificationError: predicate 'platform2_reach': expected [('platform2', 'platform3'), ('platform2', 'platform4'), ('platform2', 'platform5'), ('platform2', 'platform6')], got []
