Added very basic CodeContracts sample