After correct repair, update fault tree