Some fixes/improvements: - fixed bug in the join - if number of intervals reaches a threshold all the intervals are merged - added more debugging messages and sanity checks.
Some fixes/improvements:
- fixed bug in the join
- if number of intervals reaches a threshold all the intervals are merged
- added more debugging messages and sanity checks.

caballa/crab,seahorn/crab,seahorn/crab