modifica algoritmo1 versione FOLDED (non elimina alcuni archi superflui)

modifica calcolo best pred e best succ Locale su grafo UNFOLDED

modifica euristica di post processing (ora il post processing si applica
direttamente sul folded)