SuccessorsIterator ++ without testing