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

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