some improvements in ClaspSolver