Diagnostics.Contracts