1{
2	let x := f(0)
3	for {  } f(x) { x := f(x) }
4	{
5		let t := f(x)
6	}
7	function f(a) -> r {
8		sstore(a, 0)
9		r := a
10	}
11}
12// ----
13// step: fullInliner
14//
15// {
16//     {
17//         let a_3 := 0
18//         let r_4 := 0
19//         sstore(a_3, 0)
20//         r_4 := a_3
21//         let x := r_4
22//         for { }
23//         f(x)
24//         {
25//             let a_6 := x
26//             let r_7 := 0
27//             sstore(a_6, 0)
28//             r_7 := a_6
29//             x := r_7
30//         }
31//         {
32//             let a_9 := x
33//             let r_10 := 0
34//             sstore(a_9, 0)
35//             r_10 := a_9
36//             let t := r_10
37//         }
38//     }
39//     function f(a) -> r
40//     {
41//         sstore(a, 0)
42//         r := a
43//     }
44// }
45