Что следует использовать: CodeContract или CuttingEdge.Условия?

Я исследовал использование структуры условий для проверки данных вместо

if(cond) throw new SomeException();

SomeFramework.MakeSure(cond);

В конце концов, мой выбор состоит в том, чтобы использовать либо CodeContract или CuttingEdge.Conditions.

Я не могу решить, какой фреймворк использовать. Я могу сказать вам, что мне не нравится в фреймворке CodeContract то, что вам нужно установить дополнительный msi, чтобы использовать его и параметры, которые вам нужно выбрать; не то, чтобы это плохо, но это кажется неестественным. (И, конечно же, он все еще исследуется РС.)

Что вы думаете?