Propagating Configuration Decisions with Modal Implication Graphs