Microsoft Code Contracts for NuGet Core