7) se c'' variabili locale x1 e il costruttore x1, fa due passate
8) exadecim_lemmas, destruct: lento...
-9) chiedere a Enrico il ninductive ascii_min che non va (ma cambiando il
- nome o il numero degli elementi invece si') ????
11) ngeneralize bug di unificazione: ngeneralize in match (x1 = x2)
12) generazione dei nomi non va:
include "freescale/byte8.ma".