Code Contracts: How they look after compiling?(weblogs.asp.net)

http://weblogs.asp.net/gunnarpeipman/archive/2010/05/22/code-contracts-how-they-look-after-compiling.aspx