Code Contracts added