Здравствуйте, Блудов Павел, Вы писали:

БП>Почему не получается? Я же пишу русскими буквами: после того как в левую часть что-то положили, нужно либо заново инициализировать переменную (что будет выглядеть ужасно но работать правильно) либо просто останавливаться. Т.е. контекст для Introduce variable должен быть от забора и до того места, как поменяется левая часть.

Вариант заново инициализировать переменную будет работать, но такое поведение вряд ли кто-то ожидает. Самым правильным, скорее всего, будет не искать других вхождений в случае получателя присваивания (усеченный вариант 2). Полноценный вариант 2 опять же будет трудно предсказуем, особенно в случае сложного потока управления.