Sdoppiata la regola achieved-goal in maniera da aggiornare sempre costo-check con il costo migliore.
Corretto un piccolo errore di sintassi in checkpath.