extra test
fix #473 consider nonemptiness in definite return analysis for for loops