copilotdefinition of invariant - Search