Updated the field write rule to reflect immutable-reference semantics