pseudocode rimosse alcune ridondanze