src/datalog_conformance/_tests/recursion/souffle_example_andersen.yaml::souffle_andersen_PointsTo: _CaseVerificationError: predicate 'PointsTo': expected [('a', 'b'), ('a', 'd'), ('c', 'd'), ('e', 'a'), ('f', 'b'), ('f', 'd')], got []
