low-level language convert : lambda lifting