e handler that throws exceptions on contract assertion failures (not the default), however:</p>
<div class="warning"><table border="0" summary="Warning">
<tr>
<td rowspan="2" align="center" valign="top" width="25"><img alt="[Warning]" src="../../../../../../doc/src/images/warning.png"></td>
<th align="left">Warning</th>
</tr>
<tr><td align="left" valign="top"><p>When this failure handler is called there is already an active exception (the one that caused the exception guarantees to be checked in the first p