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