Avaliação das invariantes da lista ligada