TreeMap variabile-vincolo aggiunta nel generatore