Predicate Private::Steps::summaryStoreStep
Holds if there is a store step of content c from pred to succ, which
is synthesized from a flow summary.
Import path
import semmle.code.java.dataflow.internal.FlowSummaryImplpredicate summaryStoreStep(SummaryNode pred, ContentSet c, SummaryNode succ)