Introduce variable для левой части присваивания можно рассматривать исключительно как контекстный экшен, который только заводит новую переменную и присваивает ей значение. К сожалению, ничего более вразумительного придумать не получается.

PS Introduce variable во многих случаях ломает семантику, но такова его природа)