Check for "while(true)"