Change impact analysis for software product lines | Synapse