BDD improvements