Import path
import codeql.dataflow.internal.DataFlowImplStage1
predicate parameterFlowThroughAllowed(ParamNd p, ReturnKindExt kind)
import codeql.dataflow.internal.DataFlowImplStage1
predicate parameterFlowThroughAllowed(ParamNd p, ReturnKindExt kind)