Adding bdd empty