Member predicate AnalyzedRequireCall::reads
Holds if this property read may read property propName of a concrete value represented
by base.
predicate reads(AbstractValue base, string propName)Holds if this property read may read property propName of a concrete value represented
by base.
predicate reads(AbstractValue base, string propName)