Predicate MakeImpl::Impl::MkStage::Stage::nodeMayUseSummary
Holds if ap is recorded as the summary context for flow reaching node
and remains relevant for the following pruning stage.
Import path
import codeql.dataflow.internal.DataFlowImplpredicate nodeMayUseSummary(Nd n, Ap ap)