Здравствуйте, licedey, Вы писали:

L>В CodeContracts в довесок еще и рантайм проверки идут. Правда непонятка чем это лучше, чем скажем Debug.Assert(something != null);

Оно там не само по себе, а в комплекте. Где удается устранить — там устраняется, где не удается — остается рантайм проверка.