loop invariant for bubble sort - Search