2012-01-28 18:25:21 @okazuki Release 1.4.50111.1 (January 11, 2012)でCode Contracts側のバグがフィックスされたようなので、それでリビルドしてみますねー。