Member predicate Configuration::isAdditionalTaintStep

Holds if the additional taint propagation step from pred to succ must be taken into account in the analysis.