Symbol: _InitSolver