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