de.fosd.typechef.featureexpr.bdd
empty feature model
make the feature model stricter by a formula
helper function
empty feature model