push ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))))) (((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) (\x0 -> (\x1 -> (\x2 -> x0 (x1 x2))))))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> (\x2 -> x0 (x1 x2)))) ((\x0 -> (\x1 -> x0)) (\x0 -> x0)))))
name_7:
| push (\x0 -> (\x1 -> x0)) (\x0 -> x0)
| ret
call name_7
lift (\x0 -> (\x1 -> x0 x1))
name_5:
| name_4:
| | push (\x0 -> (\x1 -> x0)) (\x0 -> x0)
| | ret
| call name_4
| name_3:
| | push (\x0 -> (\x1 -> x0)) (\x0 -> x0)
| | call name_5
| | lift (\x0 -> (\x1 -> x0 x1))
| | call name_3
| | lift (\x0 -> (\x1 -> x0 x1))
| | ret
| call name_3
| lift (\x0 -> (\x1 -> x0 x1))
| call name_5
| lift (\x0 -> (\x1 -> x0 x1))
| ret
call name_5
lift (\x0 -> (\x1 -> x0 x1))
name_2:
| push ()
| ret
call name_2
lift (\x0 -> (\x1 -> x0 x1))
call name_7
lift (\x0 -> (\x1 -> x0 x1))
name_1:
| call name_4
| name_6:
| | push (\x0 -> (\x1 -> x0)) (\x0 -> x0)
| | call name_1
| | lift (\x0 -> (\x1 -> x0 x1))
| | call name_6
| | lift (\x0 -> (\x1 -> x0 x1))
| | ret
| call name_6
| lift (\x0 -> (\x1 -> x0 x1))
| call name_1
| lift (\x0 -> (\x1 -> x0 x1))
| ret
call name_1
lift (\x0 -> (\x1 -> x0 x1))
call name_2
lift (\x0 -> (\x1 -> x0 x1))
ret