Type check else body of while loop