fix a bug in new ClaspSolver