reorganisation and bugfix
solutions can now be obtained
bugfixes for CBA
More CBA functionalities, timer in HH
Making abstraction of HH
Reorganisation of SearchSpace
TwoSetWritableSearchSpaceNegotiator
reading and gathering TECs