Transforms a PathGraph by printing the provenance information.
Import path
import codeql.dataflow.test.ProvenancePathGraphPredicates
| resultRelations | Holds if the given result relation exists. |
| results | Holds if a result exists with the given relation, row, column, and data. |
Parameters
| interpretModelForTest | interpretModelForTestSig |