Partial body resolve: more precise smart casts analysis for if-statement
Partial body resolve: more efficient for-loop handling
Partial body resolve: fixed bug