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