Creating the BDDs for ProductBasket and for Promotions