#123 - Exploring Code Contracts: Taking a look at Object Invariant Conditions