Member predicate AnalyzedPropertyWrite::writes

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

Note that not all property writes have an explicit source node; use predicate writesValue below to cover these cases.