navigable included, but solver not writen.
refactoring of test so that old tests are gone.