[ADD] dump BDD