preliminary step funtions for bdd