Refactoring: Refactoring for split_interval_map::subtract_ and interval_map::subtract_ complete. Stable{msvc-9.0, gcc-3.4.4}