Partial preprocessing C code for variability analysis
Feature models, grammars, and propositional formulas