Inseriti nuovi controlli su classi di equivalenza, coppie e cammini