src/datalog_conformance/_tests/recursion/souffle_evaluation_eqrel_reachable.yaml::souffle_eqrel_reachable_reachable: _CaseVerificationError: predicate 'reachable': expected [('A', 'A'), ('A', 'B'), ('B', 'A'), ('B', 'B'), ('C', 'C'), ('C', 'D'), ('C', 'E'), ('C', 'F'), ('D', 'C'), ('D', 'D'), ('D', 'E'), ('D', 'F'), ('E', 'C'), ('E', 'D'), ('E', 'E'), ('E', 'F'), ('F', 'C'), ('F', 'D'), ('F', 'E'), ('F', 'F'), ('G', 'G')], got []
