Candidate not found: No such candidate version for copilot-theorem