pokracovaní refactoringu na zobecnenej solver