Qualche progresso sul file interpretazione_astratta.tex