アセンブリ (おそらく "{1}") は Contract.{0} を呼び出しており CONTRACTS_FULL シンボルが定義されているため コード コントラクト バイナリ リライター (CCRewrite) を使用してこのアセンブリを書き直す必要があります ...

アセンブリ (おそらく "{1}") は Contract.{0} を呼び出しており、CONTRACTS_FULL シンボルが定義されているため、コード コントラクト バイナリ リライター (CCRewrite) を使用してこのアセンブリを書き直す必要があります。プロジェクトで CONTRACTS_FULL シンボルが明示的に定義されている場合はその定義を削除し、リビルドしてください。CCRewrite は http://go.microsoft.com/fwlink/?LinkID=169180 からダウンロードできます。
リライターは、インストール後に、Visual Studio の [Code Contracts] ペインでプロジェクトの [Properties] ページから有効にできます。CONTRACTS_FULL を定義する [Perform Runtime Contract Checking] がオンになっていることを確認してください。