Revert "debug bdd"

This reverts commit 02c4320c1ab8e5db0cdfa05cfb30eba04e35ba70.
Revert "Revert "debug bdd""

This reverts commit 7fc282e36c0f6e0062f151bfda17a395f7feae0b.