copilothow to find loop invariant - Search
Refresh