depemdency and BDD reconstruction