some small changes in ClaspSolver