Aumentata la formalità e l'efficienza di alcune parti dell'algoritmo.