- get bdd counters