The propagation tree appears in a window. In this tree, if a loop is detected, the involved elements are displayed in orange color. The last element displayed in red color indicates that the propagation stops and it is identical to the first element of the tree. |