Removed expensive check on Solver.