bdd-trace