The closure conversion is a process that
- find out lambda, compute their free variables
- capture free variables into closure
- lift lambda & refers to them from closures
This compiler skip the remove complex operands and explicate control, therefore, some valid expression cannot be written.