push (const id)
let_1:
| push ()
| ret
call let_1
lift ($)
call let_1
lift ($)
ret