Описание тега ssa
Статическое одиночное присваивание - это свойство промежуточного представления компилятора для оптимизации и статического анализа.
Статическое однократное присвоение - это промежуточное представление, в котором каждой "переменной" присваивается только один раз. При переводе из формы с изменяемыми переменными каждая переменная заменяется набором переменных, представляющих каждое возможное присвоение, чтобы сделать определение и использование каждого значения явным.