Member predicate InterModuleTypeInference::AnalyzedRequireCall::reads

Holds if this property read may read property propName of a concrete value represented by base.

predicate reads(AbstractValue base, string propName)