Translate and clean BDD