1{ 2 let a := 1 3 a := 2 4 let b := 3 5 b := 4 6 { 7 // b is not reassigned here 8 a := 3 9 a := 4 10 } 11 a := add(b, a) 12} 13// ---- 14// step: ssaTransform 15// 16// { 17// let a_1 := 1 18// let a := a_1 19// let a_2 := 2 20// a := a_2 21// let b_3 := 3 22// let b := b_3 23// let b_4 := 4 24// b := b_4 25// { 26// let a_5 := 3 27// a := a_5 28// let a_6 := 4 29// a := a_6 30// } 31// let a_8 := a 32// let a_7 := add(b_4, a_8) 33// a := a_7 34// } 35