how to teach loop invariants - Search