/**
 * @kind test-postprocess
 */

import codeql.rust.dataflow.internal.ModelsAsData
import codeql.dataflow.test.ProvenancePathGraph
import codeql.dataflow.test.ProvenancePathGraph::TestPostProcessing::TranslateProvenanceResults<interpretModelForTest/2>