Контракты кода пытаются получить ошибки сборки вместо предупреждений

Я пытаюсь заставить VS2010 Ultimate с кодовыми контрактами генерировать ошибки вместо предупреждений.

У меня есть эта простая тестовая программа:

using System.Diagnostics.Contracts;

namespace MyError
{
  public class Program 
  {
     static void Main(string[] args)
     {
         Program prog = new Program();
         prog.Log(null);
     }

     public void Log(string msg)
     {
         Contract.Requires(msg != null);
     }
  }
}

Она правильно определяет, что есть нарушение контракта :

C:\...\Program.cs(10,13): warning : CodeContracts: requires is false: msg != null

В моем файле csproj есть это поле свойств для Debug:

TreatWarningsAsErrors > true

Есть ли что-то еще, что я должен установить в настройках проекта, чтобы превратить их в ошибки?