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