Refactoring reclamation in WaitFreeSimStack.