Labeler labels WhileStmts
code generation for WhileStmts