Member predicate TaintTracking :: Configuration :: isAdditionalTaintStep
Holds if the additional taint propagation step from pred to succ
must be taken into account in the analysis.
predicate
isAdditionalTaintStep
(
Node
pred
,
Node
succ
)