internal ContractException (string failure, ContractFailureKind kind, string condition, string userMessage, Exception innerException) : base (failure, innerException) { this.Failure = failure; this.Kind = kind; this.Condition = condition; this.UserMessage = userMessage; }