Syndicate: Synergistic Synthesis of Ranking Function and Invariants for Termination Analysis. - Yasmin Sarita; Avaljot Singh; Shaurya Gomber; Gagandeep Singh 001; Mahesh Vishwanathan (CoRR, 2024)