copilotloop invariants explained - Search