add dump BDD for example