Um assembly (provavelmente "{1}") deve ser reescrito usando o reescritor binário de contratos de código (CCRewrite) porque ...

Um assembly (provavelmente "{1}") deve ser reescrito usando o reescritor binário de contratos de código (CCRewrite) porque ele está chamando Contract.{0} e o símbolo CONTRACTS_FULL está definido. Remova todas as definições explícitas do símbolo CONTRACTS_FULL do seu projeto e recompile. O CCRewrite pode ser baixado de http://go.microsoft.com/fwlink/?LinkID=169180. 
Após a instalação do reescritor, ele pode ser habilitado no Visual Studio na página de Propriedades do projeto no painel Contratos de Código. Verifique se "Perform Runtime Contract Checking" está habilitado, que definirá CONTRACTS_FULL.