<PackageReference Include="System.Diagnostics.Contracts" Version="4.0.1-rc2-24027" />