Il generatore ora genera anche i vincoli tra variabili casuali