Estimating "Propagation Across"
- Set count to 0
- Select input from distribution DE for component E
- Perturb value of input (simulating failure outside of E)
- get results from executing E
- compare against PRED (PRED is defined for E); bump count if different
- If count > 0, then mitigate.