How to Avoid the Generation of Loops in the Construction ofFault Trees