copilot-cbmc 2.2.1

1 Reverse dep Accepted versions
copilot >=2.2.1