Type check condition of while loop
Type check body of while loop
Enter sub-context in loop body