Member predicate 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)