Member predicate DataFlow::PathNode::wraps

Holds if this path node wraps data-flow node nd and configuration c.

predicate wraps(Node n, Configuration c)