copilothow to find loop invariant - Search