updated verify for do while loop