added TestBDD