bdd tree goodness