bddtree: added a test for the module