message: Be more conservative, still track non-renamable fields
diff: @@ -285,7 +285,9 @@ class Analyzer final : public BaseIRAnalyzer<CseEnvironment> {
  it != read_location_counts.end();) {
  auto location = it->first;
  // If we are reading a final field...
  - if (location.has_field() && is_final(location.get_field())) {
  + if (location.has_field() && is_final(location.get_field()) &&
  + !root(location.get_field()) && can_rename(location.get_field()) &&
  + can_delete(location.get_field())) {
  // ... and we are not analyzing a method that is a corresponding
  // constructor or static initializer of the declaring type of the
  // field ...
  