DataModel, CodeContracts enabled