CodeContracts for release.