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