fixes im ClaspSolver