Refactored unsat core extraction into SolverMethods