Member predicate OpenUrlRedirect::AdditionalStep::hasTaintStep

Holds if pred to succ is an additional taint-propagating step for this query.