loop invariants for "coding" - Search