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