Examine allocations

I think that when the then branch fits in one line (80-columns) we put it in one line, like:
```
if not is_sunk then table.insert(unsunk_allocs, alloc) end
```
But ask Andy for confirmation.