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