some simplifcations in ClaspSolver