#118 - Exploring Code Contracts: Taking a look at Pre/Post Conditions