Significant improvements to the logic for merging live intervals. This code can't