modifica nomi risorse nel caso di hypertreeDecomp, ora stampa il set di
iperarchi utilizzati

modifica alle condizioni di stop
go