Fix of #112
Refactorings removing redundancy
Cleanup (#111)
System test for multi-solution cases (#106)
Implemented #106
Unit test sync
Implemented #110