Immagine del grafico MCRL dell'idea di Algokid