Making Smart Contracts Easier To Understand. - Emanuele Antonio Napoli; Lorenzo Gangemi; Silvio Meneguzzo; Noemi Romani; Valentina Gatteschi (COMPSAC, 2025)