Predicate MakeImplStage1::ImplStage1::Stage1::viableParamArgNodeCandFwd1
Import path
import codeql.dataflow.internal.DataFlowImplStage1predicate viableParamArgNodeCandFwd1(Call call, ParamNodeEx p, ArgNodeEx arg)import codeql.dataflow.internal.DataFlowImplStage1predicate viableParamArgNodeCandFwd1(Call call, ParamNodeEx p, ArgNodeEx arg)