Predicate Make::Private::Steps::summaryLocalMustFlowStep
Holds if the value of succ is uniquely determined by the value of pred.
Import path
import codeql.dataflow.internal.FlowSummaryImplpredicate summaryLocalMustFlowStep(SummaryNode pred, SummaryNode succ)