Holds if this path node wraps data-flow node n and configuration c.
predicate
wraps
(
Node
n
,
Configuration
c
)