On Lexicographic Proof Rules for Probabilistic Termination. - Krishnendu Chatterjee; Ehsan Kafshdar Goharshady; Petr Novotný 001; Jiri Zárevúcky; Dorde Zikelic (Formal Aspects Comput., 2023)