bdd-graph