copilotfinding invariant lines - Search