modifica dell'albero variabili-vincoli (work in progress)