Continue to refine WhileStmt