Predicate signature interpretModelForTestSig
Import path
import codeql.dataflow.test.ProvenancePathGraph
signature predicate interpretModelForTestSig(ExtensionId madId, string model)
import codeql.dataflow.test.ProvenancePathGraph
signature predicate interpretModelForTestSig(ExtensionId madId, string model)