Handbook
Glossary
Escape analysis for tuple unboxing
This pass must run after propagation