Refactoring element reclamation in WaitFreeSimStack.