util.analyzers.GenBDDFactory
Transform variable to their BDD
the variable labelled on the root node
the BDD "< v, 1, 0>"