Eine Assembly (wahrscheinlich "{1}") muss mithilfe des Code Contracts Binary Rewriter (CCRewrite) neu geschrieben werden, ...

Eine Assembly (wahrscheinlich "{1}") muss mithilfe des Code Contracts Binary Rewriter (CCRewrite) neu geschrieben werden, da sie Contract.{0} aufruft und das CONTRACTS_FULL-Symbol definiert ist. Entfernen Sie alle expliziten Definitionen des CONTRACTS_FULL-Symbols aus ihrem Projekt, und erstellen Sie es neu. CCRewrite kann unter http://go.microsoft.com/fwlink/?LinkID=169180 heruntergeladen werden. 
Nach der Installation des Rewriters kann es in Visual Studio auf der Eigenschaftenseite des Projekts im Bereich "Codevertrag" aktiviert werden. Vergewissern Sie sich, dass "Perform Runtime Contract Checking" aktiviert ist, da es CONTRACTS_FULL definiert.