* cycle detection: now we can freeze (almost?) anything