public void SetHandled () { Handled = true; }
void Contract_ContractFailed(object sender, ContractFailedEventArgs e) { e.SetHandled(); throw new AssertException( String.Format("{0}: {1}, {2}", e.FailureKind, e.Condition, e.Message) ); }