Predicate ShowProvenance::models
Holds if model is the r-th pretty-printed model used in the edges relation.
Import path
import codeql.dataflow.test.ProvenancePathGraphHolds if model is the r-th pretty-printed model used in the edges relation.
import codeql.dataflow.test.ProvenancePathGraph