refactor: goal: reinit_solver()