Detecting unanticipated mutual recursion using Elegant Objects representation of object-oriented programs. - Nikolai Kudasov; Mikhail Olokin; Oleksii Potyomkin; Nikolay Shilov 002; Maxim Stepanov (CoRR, 2022)