New operation to print all the BDDs