><span class="identifier">precondition</span><span class="special">(...)</span></code>
          that asserts <code class="computeroutput"><span class="identifier">inc</span></code> precondition.
        </li>
<li class="listitem">
          Then, execute <code class="computeroutput"><span class="identifier">inc</span></code> body
          (i.e., all the code that follows the <code class="computeroutput"><span class="identifier">boost</span><span class="special">::</span><span class="identifier">contract</