possible performance improvement in ClaspSolver