ObjectiveC migration: Handle another special case of
setter/getter methods which can be migrated to
a @property.