switched to bdd