NullValueAnalysis: Fixed do...while statement handling.