t qualifies,</li>
</ul>
<p>and the recursive cases are that</p>
<ul>
<li>a sequence of statements qualifies if its last statement qualifies,</li>
<li>a for loop or while loop qualifies if its body qualifies, and</li>
<li>a conditional statement qualifies if it has a default else clause and all of its body statements qualify.</li>
</ul>
<p>An exception is made for “obviously infinite” loops like <code>while (1)</code>, which contain a <code>return</code> statement and no <code>break</code> statements. Th