Member predicate TaintTracking::SharedTaintStep::deserializeStep

Holds if pred → succ should be considered a taint-propagating data flow edge through data deserialization, such as JSON.parse.