loop invariant for merge sort - Search