Class WorksetEmptyConvergenceCriterion