removed remaining references to the best bdd