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 codeql.ruby.dataflow.internal.FlowSummaryImplpredicate summaryStoreStep(Node pred, ContentSet c, Node succ)