More CodeContracts specs.