Started usage of Code Contracts.