Introduce SolverContext.