public ThrownException(IThrownException thrownException) { this.exceptionType = thrownException.ExceptionType; this.postcondition = thrownException.Postcondition; }