2 - LetIn e Variabili con corpo: da pensarci (capita solamente una 30ina
3 di volte... per ora!) Per il momento ci mettiamo una pezza.
4 - Variabili: non consideriamo l'occorrenza di una variabile come una
5 vera occorrenza (perche' puo' essere istanziata). In ogni caso c'e'
6 l'attributo @params che fornisce questa informazione.
7 - META e IMPLICIT non trattati
8 - CAST non considerati ==> di default vado in ricorsione sia sul tipo