Fix desugaring in an obscure case with while(true).