This coincides with pipeline (a) of Figure 11, that is, the induction of a LCFRS of arbitrary fanout.
if the recursive partitioning is transformed by Algorithm 4 or if the left-branching or right-branching recursive partitioning is used (as in Example 20 and as in pipelines (b) and (c) of Figure 11), then the fanout of the induced LCFRS decreases and its derivations are binarized.