Merge SignalHandler into BasicSolver.