Revert "suppBDD"

This reverts commit c9f77c3abc49831c31df0a4e60194ddf204ef630.