Skip analysis for partially constructed statements