Added a full coalescing implementation
- The correctness is currently cheated