removing references to bdd helper