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