Efficient SMT-Based Analysis of Failure Propagation