Escape analysis for tuple unboxing


This pass must run after propagation