Added Code Contracts.