Member predicate TaintTracking::StringConcatenationTaintStep::stringConcatenationStep

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