Refactoring FarSolver.