profiling of bdd operations