jacket-27
Closing lambda terms with local variables