Reorganizes invariants
Adds IsEmpty check to remove
Removes double contract
Adds first version of DynamicIntervalTree from Orcomp. Not done yet.
Merge branch 'master' of https://github.com/lundmikkel/C5