The whole copilot language is handled with both solvers