Member predicate DataFlow::SourceNode::hasPropertyWrite

Holds if there is an assignment to property propName on this node, and the right hand side of the assignment is rhs.