Похоже, что существует некоторая путаница относительно того, включены или нет Code Contracts в платформу, которая идет с бета-версией VS2010, или даже в самой VS2010. На форуме Code Contracts (и особенно в этом сообщении) есть несколько упоминаний об этом, но ответов пока нет.
Я не думаю, что Code Contracts подпадает под статический анализ кода. Я думаю, что статический анализ кода относится к другим инструментам анализа кода, таким как FxCop.
Я пытался использовать Contract.Requires в VS2010 beta 2 Ultimate Edition, но у меня такое же поведение, как и у вас. Если вы посмотрите в свойствах проекта на вкладке Анализ кода, вы можете включить анализ кода, но это не относится к Контрактам кода.
Согласно комментарию Мелитты (из команды библиотек базовых классов) к статье о подключении Сделать статическую проверку контракта данных доступной в Professional Edition :
... но ограничение на инструмент статического анализа означает следующий выпуск. Он сохраняет целостность истории анализа кода, поскольку для инструментов статического анализа требуется VSTS.
Это говорит о том, что у вас (будет) должна быть версия системы группы, чтобы получить версию Code Contracts во время компиляции.