Member predicate TaintTracking::SharedTaintStep::arrayStep

Holds if pred → succ should be considered a taint-propagating data flow edge through arrays.

These steps considers an array to be tainted if it contains tainted elements.