Field ControlFlowGraph::ControlFlow::Internal::Successor::AccessorWrite::def