Predicate Private::Steps::summaryJumpStep
Holds if there is a jump step from pred to succ, which is synthesized
from a flow summary.
Import path
import semmle.python.dataflow.new.internal.FlowSummaryImplpredicate summaryJumpStep(SummaryNode pred, SummaryNode succ)