Aggiunto esercizio su regola del blocco. Aggiunta definizione di programma propriamente annotato.