Holds if node
is reachable with access path ap
from a source.
The call context cc
records whether the node is reached through an
argument in a call, and if so, summaryCtx
records the
corresponding parameter position and access path of that argument.
Import path
import codeql.dataflow.internal.DataFlowImpl