Removed CodeContracts directory