Renaming function
Fixing a bug about not checking solver->okay()