Cyclone: A Heterogeneous Tool for Verifying Infinite Descent. - Liron Cohen 001; Reuben N. S. Rowe; Matan Shaked (TACAS (1), 2025)