When the inlined field is removed, assignments to it must be converted into assignments to the inlined state. Analysis ensures this is safe, so we replace the original assignment to the inlined field with copies into the inlined fields; we traverse methods on the containing object, changing each assignment. Array contents are special: copies are generated for each array element (each array has a field that records its size).