System.Diagnostics.Contracts.Contract conflict