Predicate Make::Private::Steps::summaryLocalStep
Holds if there is a local step from pred to succ, which is synthesized
from a flow summary.
Import path
import codeql.dataflow.internal.FlowSummaryImplpredicate summaryLocalStep(SummaryNode pred, SummaryNode succ, boolean preservesValue, string model)