1    let x : i32 = if
2        let u = 1
3        let v = if u == 2 then
4            5
5        else
6            7
7        u == 5
8    then
9        let u = 2 * 3
10       1
11   else
12       let u = 5 * 7
13       let v = u * 8
14       2
15   
16   assert x == 2
17