Code Contracts #2: Code transformation

The second post in my Code Contracts series covers code transformation with the Code Rewriter and the basic declarative nature of Code Contracts. Furthermore, I make statements about why contracts are defined imperatively in the code, which leads to code pollution, and not via attributation of additional keywords.