- Remove empty segments before bound updates so the oracle can be used
- Remove empty segments before joins and updates to improve precision
- Keep segmentation hints as long as possible
- Add comments to the test