Migrate the do while statement
Migrate the assert statement
Migrate expression statements
Migrate the labeled statement