Member predicate ControlFlow::WriteNode::writesComponent
DEPRECATED: Use the disjunct of writesElement and writesField, or writesFieldPreUpdate
and writesElementPreUpdate, instead.
Holds if this node sets any field or element of base (or its implicit dereference) to
rhs, where base represents the pre-update value.
predicate writesComponent(Node base, Node rhs)