CodeContracts removed.