Member predicate CallToObjectDefineProperty::hasPropertyAttributeWrite
Holds if there is an assignment to property name to the
attributes object on this node, and the right hand side of the
assignment is rhs.
predicate hasPropertyAttributeWrite(string name, Node rhs)