Member predicate TaintTracking :: 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 pred , Node succ , boolean valuePreserving )