Member predicate DataFlow :: Configuration :: isAdditionalFlowStep
Holds if src -> trg
should be considered as a flow edge
in addition to standard data flow edges.
predicate
isAdditionalFlowStep
(
Node
src
,
Node
trg
)