1{
2  let b:bool := true
3  let c:bool := false
4  c := b
5  b := false
6
7  let a:u256 := 1
8  a := add(a, 1)
9  if c {
10    a := add(a, 1)
11  }
12  a := add(a, 1)
13  mstore(a, 1)
14}
15// ====
16// dialect: evmTyped
17// ----
18// step: ssaTransform
19//
20// {
21//     let b_1:bool := true
22//     let b:bool := b_1
23//     let c_2:bool := false
24//     let c:bool := c_2
25//     let c_3:bool := b_1
26//     c := c_3
27//     let b_4:bool := false
28//     b := b_4
29//     let a_5 := 1
30//     let a := a_5
31//     let a_6 := add(a_5, 1)
32//     a := a_6
33//     if c_3
34//     {
35//         let a_7 := add(a_6, 1)
36//         a := a_7
37//     }
38//     let a_9 := a
39//     let a_8 := add(a_9, 1)
40//     a := a_8
41//     mstore(a_8, 1)
42// }
43