То, чтобы заставлять Контракты Кода работать в Visual Studio 2010

У меня есть следующий код:

class Program
{
    static void Main(string[] args)
    {
        Console.WriteLine(SqrtRoot(0));
        Console.WriteLine(SqrtRoot(10));
        Console.WriteLine(SqrtRoot(-10));
        Console.ReadKey();
    }

    public static int SqrtRoot(int i)
    {
        Contract.Requires(i >= 0);
        return (int)Math.Sqrt(i);
    }
}

Я выполняю его в режиме отладки, и это должно запустить некоторую ошибку в последнюю строку

Console.WriteLine(SqrtRoot(-10));

хотя по некоторым причинам это не делает. Это, кажется, игнорирует Контракт. Требует () вызова. Я должен настроить что-то при попытке использовать Контракты Кода?

Я использую RC Visual Studio 2010.

Спасибо