Member predicate TaintTracking::SharedTaintStep::viewComponentStep

Holds if pred → succ should be considered a taint-propagating data flow edge through the state or props or a React component.