aggiunto autoanello... bug freccetta non visibile
nelle statistiche ora sono stampati anche i vincoli di arco negato
violati

le statistiche sono stampate anche all'inizio e prima del postprocessing