Predicate DataFlow::PathGraph::nodes

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

Import path

import javascript
predicate nodes(PathNode nd)