Correct Dynamic MergeSort