fix assumptions in ClaspSolver