TIME completato. Da implementare la regola che asserisce exec(done)