Mishel Carelli: Loop Termination and Generalized Collatz Sequences. ICALP 2026: 175:1-175:21