Add while-do structure