Member predicate DataFlow::PropWrite::writes

Holds if this data flow node writes the value of rhs to property prop of the object that base evaluates to.

predicate writes(Node base, string prop, Node rhs)