Predicate MakeImpl::Impl::PathGraph::nodes

Holds if n is a node in the graph of data flow path explanations.

Import path

import codeql.dataflow.internal.DataFlowImpl

predicate nodes(PathNode n, string key, string val)