* The FaultImpact analysis also captures the
  out error propagations being sent when switching
  to some states.