push ((.) ((.) (.)) . ((.) ((.) (.)) . (.) ((.) (const id))))
let_1:
| push (const id)
| ret
call let_1
lift ($)
let_3:
| let_4:
| | push (const id)
| | ret
| call let_4
| let_5:
| | push (const id)
| | call let_3
| | lift ($)
| | call let_5
| | lift ($)
| | ret
| call let_5
| lift ($)
| call let_3
| lift ($)
| ret
call let_3
lift ($)
let_6:
| push ()
| ret
call let_6
lift ($)
call let_1
lift ($)
let_7:
| call let_4
| let_2:
| | push (const id)
| | call let_7
| | lift ($)
| | call let_2
| | lift ($)
| | ret
| call let_2
| lift ($)
| call let_7
| lift ($)
| ret
call let_7
lift ($)
call let_6
lift ($)
ret