lift_enters now handles local functions with multiple enters