Updated bdd algo