model: livelock_iterator
iter.map
<loop>
list.next
list.true
<livelock>
