Predicate DataFlowMake::MergePathGraph3::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 n, string key, string val)