Member predicate DataFlow::AdditionalFlowStep::jumpStep

Holds if pred → succ should be considered a value-preserving data flow edge that crosses calling contexts.