public ContractFailedEventArgs (ContractFailureKind failureKind, string message, string condition, Exception originalException) { Condition = condition; FailureKind = failureKind; Handled = false; Unwind = false; // MS docs are incorrect - this should default to false. Message = message; OriginalException = originalException; }