Detects <code>while</code> loops which can be replaced with <code>loop</code>.