Predicate Make::Private::summaryPostUpdateNode
Holds if summary node post is a post-update node with pre-update node pre.
Import path
import codeql.dataflow.internal.FlowSummaryImplpredicate summaryPostUpdateNode(SummaryNode post, SummaryNode pre)