Predicate MakeImpl::Impl::Stage1::viableParamArgNodeCandFwd1
Import path
import codeql.dataflow.internal.DataFlowImpl
predicate viableParamArgNodeCandFwd1(DataFlowCall call, ParamNodeEx p, ArgNodeEx arg)
import codeql.dataflow.internal.DataFlowImpl
predicate viableParamArgNodeCandFwd1(DataFlowCall call, ParamNodeEx p, ArgNodeEx arg)