Un ensamblado (probablemente "{1}") debe reescribirse con el sistema de reescritura binario de contratos de código (CCRewrite) ...

Un ensamblado (probablemente "{1}") debe reescribirse con el sistema de reescritura binario de contratos de código (CCRewrite) porque está llamando a Contract.{0} y se ha definido el símbolo CONTRACTS_FULL. Quite todas las definiciones explícitas del símbolo CONTRACTS_FULL del proyecto y recompílelo. CCRewrite se puede descargar desde http://go.microsoft.com/fwlink/?LinkID=169180.
Una vez instalado el sistema de reescritura, se puede habilitar en Visual Studio desde la página Propiedades del proyecto en el panel Code Contracts. Asegúrese de que la opción "Perform Runtime Contract Checking" está habilitada, ya que se encarga de definir CONTRACTS_FULL.