[UP] Dump BDD