Predicate Private :: summaryPostUpdateNode
Holds if summary node post is a post-update node with pre-update node pre.
Import path
import semmle.python.dataflow.new.internal.FlowSummaryImpl
predicate
summaryPostUpdateNode
(
SummaryNode
post
,
SummaryNode
pre
)