         <p>
                    Assertion/Precondition
                  </p>
                </th>
</tr></thead>
<tbody>
<tr>
<td>
                  <p>
                    <code class="computeroutput"><span class="identifier">r</span> <span class="special">+=</span>
                    <span class="identifier">n</span></code>
                  </p>
                </td>
<td>
                  <p>
                    <code class="computeroutput"><span class="identifier">X</span><span class="special">&amp;