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, 2 insertions, 1 deletions

diff --git a/src/main/portfolio_util.cpp b/src/main/portfolio_util.cpp
index b208b2479..b16ac2d34 100644
--- a/src/main/portfolio_util.cpp
+++ b/src/main/portfolio_util.cpp
@@ -14,6 +14,7 @@
  ** \brief Code relevant only for portfolio builds
  **/
 
+#include <cassert>
 #include <vector>
 #include <unistd.h>
 #include "options/options.h"
@@ -97,7 +98,7 @@ vector<Options> parseThreadSpecificOptions(Options opts)
     }
   }
 
-  Assert(numThreads >= 1);      //do we need this?
+  assert(numThreads >= 1);      //do we need this?
 
   return threadOptions;
 }