> Done
</td><td> Johannes
</td></tr>
<tr>
<th align="left">
Boolean Combinations
</th><td align="center" class='done'> Done
</td><td> Johannes
</td></tr>
<tr>
<th align="left">
Unsigned Integers
</th><td align="center" class='done'> Done
</td><td> Johannes
</td></tr>
<tr>
<th align="left">
Pointer Comparisions
</th><td align="center" class='done'> Done
</td><td> Johannes
</td></tr>
<tr>
<th align="left">
Non-affine subregions
</th><td align="center" class='done'> Done
</td><td> Johannes
</td></tr>

<tr><td 