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)