Specialize SSA variable promotions in first code block