Void CriterionEnumerator.Reset()