some fixes in ClaspSolver