BDD with ease with Easyb