Questo assembly (probabilmente "{1}") deve essere riscritto utilizzando il rewriter binario dei contratti di codice (CCRewrite) ...

Questo assembly  (probabilmente "{1}") deve essere riscritto utilizzando il rewriter binario dei contratti di codice (CCRewrite) perché sta chiamando Contract.{0} e il simbolo CONTRACTS_FULL è definito. Rimuovere le definizioni esplicite del simbolo CONTRACTS_FULL dal progetto, quindi ricompilare l'assembly. Il rewriter CCRewrite può essere scaricato dal sito Web all'indirizzo http://go.microsoft.com/fwlink/?LinkID=169180. 
Una volta eseguita l'installazione, è possibile abilitare il rewriter in Visual Studio dalla pagina Proprietà del progetto, nel riquadro Contratti di codice. Assicurarsi che sia abilitata l'opzione "Esegui controllo contratto runtime", che definirà il simbolo CONTRACTS_FULL.