Analysis of tolerance propagation