What-If Analysis for IDS Programs