use bdd for reasoning about feature expressions as default in test cases