SSA правила в GO

Статическая форма с одним заданием (Static single-assignment form) SSA (Static Single Assignment) - форма представления кода, используемая в компиляторах для оптимизации. SSA представляет код в виде