Commit solution and example for using Code Contracts in Visual Studio