The incorrect version of Fig. 15 was published with text missing in control flow boxes. The corrected diagram is given below.