Inserito alcuni metodi utili provenienti da CtsTmRecoverer