-Altre Rocq: bug vari nuovo nucleo, compresi universi!
-matita: nuovo nucleo universi e altro
-lyon.ok: vecchio nucleo, variabili
-marseille: vecchio nucleo, guarded by constructors
-muenchen: nuovo nucleo, guarded by
-cachan: nuovo nucleo, guarded by cic:/Coq/Init/Wf/Acc_ind.con