changes propagate throughout a fault tree that has been generated
from the program’s source code. Extended propagation analysis entails
injecting a fault into the fault tree and then tracing how the fault
propagates through the tree. The tester then extrapolates outward to