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

diff --git a/src/main/portfolio_util.h b/src/main/portfolio_util.h
index 1955a29a7..416b9f44a 100644
--- a/src/main/portfolio_util.h
+++ b/src/main/portfolio_util.h
@@ -155,7 +155,7 @@ void sharingManager(unsigned numThreads,
 
       /* Alert if channel full, so that we increase sharingChannelSize
          or decrease sharingBroadcastInterval */
-      Assert(not channelsOut[t]->full());
+      assert(not channelsOut[t]->full());
 
       T data = channelsOut[t]->pop();
 
@@ -177,7 +177,7 @@ void sharingManager(unsigned numThreads,
     for(unsigned t = 0; t < numThreads; ++t){
       /* Alert if channel full, so that we increase sharingChannelSize
          or decrease sharingBroadcastInterval */
-      Assert(not channelsIn[t]->full());
+      assert(not channelsIn[t]->full());
 
       while(!queues[t].empty() && !channelsIn[t]->full()){
         Trace("sharing") << "sharing: pushing on channel " << t << std::endl;