BDD framework for D