debug output of BDD operations only once