From preprocessor-constrained parse graphs to preprocessor-constrained control flow
Type checking annotation-based product lines