- Cleaning up CodeContracts objections and remove suggestions and let him infer everything.
- Upgrading CodeContracts runtime configuration.