Predicate TaintTracking::sharedTaintStep

Holds if pred -> succ is an edge used by all taint-tracking configurations in the old data flow library.

The new data flow library uses a different set of steps, exposed by AdditionalTaintStep::step.