made DebugSolverCreator reusable