Predicate DataFlowMakeCore::DeduplicatePathGraph::PathGraph::nodes

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

Import path

import codeql.dataflow.DataFlow

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