bdd
Classes
TestBddNode