Generazione albero ordinato completa. 

L'albero è fatto in modo tale da contenere tutti i vincoli ORIENTATI
(quindi ne contiene il doppio rispetto il vettore constraintes). Per
ogni chiave, il vettore associato contiene tutti i vincoli in cui quella
variabile appare, ordinati in modo crescente rispetto la seconda
componente del vincolo: quindi se si cercano le variabili vincolate ad
una certa variabile, basta guardare la seconda componente per trovarle
tutte.