Escape analysis for conditionals
