initial bdd graph support