bdd profiling paths and reordering