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.code.java.dataflow.internal.FlowSummaryImplpredicate summaryReadStep(SummaryNode pred, ContentSet c, SummaryNode succ)