Predicate DataFlow::PathGraph::edges

Holds if predsucc is an edge in the graph of data flow path explanations.

Import path

import javascript
predicate edges(PathNode pred, PathNode succ)