copilotequation for invariants - Search