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