A tree example on which the proposed algorithm is applied where the edge labels are the operational probabilities.