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