adapt to modularized bdd-cases
adapt to modularized bdd-cases