extended Assertions in merge_sorter