Update TRWS, TRWSi, ADSAL, GCO

* [BUG] fix BlackBoxTest to handle flexible label number
* [BUG] isPotts() now works also for functions with size <=2
* [BUG] fix Bugs in TRWSi and ADSAL that pop up after fixing BlakBoxTester
* [NEW] TRWS can now handle different statespaces for variables.
* [BUG] fix memory leak in TRWS  
* [TEST] add missing test for GCO