Final translation (execpt BDD)