Predicate Nullness::PathGraph::edges

predicate edges(PathNode pred, PathNode succ)