Member predicate ControlFlow::WriteNode::writesComponent

Holds if this node sets any field or element of base to rhs.