some modifications in ClaspSolver