Some fixes to portfolio

* respect output lang
* fix export variable for BOUND_VARIABLE
* support export of SUBRANGE_TYPE
* statistic for lastWinner, other minor stat changes
* fix running of multiple threads on checsat/query
* changes of Assert -> assert which became private
* fix some destruction time order issues
* fix Pickler with AssertionException going private

Fixed by not fixing:
* portfolio+datatypes does not work
  - added ExportUnsupportedException to more places, switches
    to sequential 
   (still TODO / decide : not switch silently, but print error)
   > note: this exception now needs to be (and is) defined in expr.h

Known issues:
* problems in portfolio+quantifiers
   - at least some problems appear to be because of static variables
   (will be later "fixed" like the datatypes)

(this commit was certified error- and warning-free by the test-and-commit script.)

1 files changed, 0 insertions, 6 deletions

diff --git a/src/main/command_executor.h b/src/main/command_executor.h
index 435299ce3..a5bd78abe 100644
--- a/src/main/command_executor.h
+++ b/src/main/command_executor.h
@@ -38,14 +38,8 @@ protected:
   StatisticsRegistry d_stats;
 
 public:
-  // Note: though the options are not cached (instead a reference is
-  // used), the portfolio command executer currently parses them
-  // during initalization, creating thread-specific options and
-  // storing them
   CommandExecutor(ExprManager &exprMgr, Options &options);
 
-  ~CommandExecutor() {}
-
   /**
    * Executes a command. Recursively handles if cmd is a command
    * sequence.  Eventually uses doCommandSingleton (which can be