Member predicate CliHighlightStep::stringManipulationStep

Holds if pred → succ should be considered a taint-propagating data flow edge through string manipulation (other than concatenation).