Member predicate PropertyTypeInference::AnalyzedPropertyWrite::writesValue

Holds if this property write assigns val to property propName of one of the concrete objects represented by baseVal.

predicate writesValue(AbstractValue baseVal, string propName, AbstractValue val)