Lifting Programs