Member predicate TaintTracking::SharedTaintStep::stringManipulationStep
Holds if pred → succ should be considered a taint-propagating
data flow edge through string manipulation (other than concatenation).
predicate stringManipulationStep(Node pred, Node succ)