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

M>Можно как-нибудь побороть и использовать String.Format в сообщении?

Пока нет.
У вас VS2010 и code contracts v1.4.30903.0, так? У меня такого сообщения вроде бы не было. Завтра проверю, если не забуду

P.S. Пока не выйдет RTM, rewriter лучше вообще не использовать. Сырое оно ещё.