small change in ClaspSolver