Member predicate DataFlow :: Configuration :: isAdditionalFlowStep
INTERNAL: This predicate should not normally be used outside the data flow library.
src -> trg should be considered as a flow edge
in addition to standard data flow edges, with
indicating whether the step preserves values or just taintedness.
predicate isAdditionalFlowStep ( Node src , Node trg , boolean valuePreserving )