Kann uns jemand Folie 52 der Folien "Lecture 7 - Tracematches (with animations)" erklären? (bzw. Seite 30 - je nachdem wie man zählt

Wie genau ist die Definition von collectableWeakRefs? Wir verstehen nicht ganz was mit "... are bound on every path" gemeint ist. Warum ist bei iterarting noch c, i gebunden, bei updated aber nur noch i?
Danke schon mal!
