Some changes for bdd