update for sep bdd