Fix settings of Code Contracts.