loop invariants for coding - Search