change the way to construct bdd