Figure 3.

Overview of the Algorithm for Preprocessing. The general steps of Alg. 3 are shown on the DAG and $\mathcal{T}$ of Figure 1. Nodes in ${\mathcal{T}}^{IMPL}$ are colored in black. The IC value of a node is depicted in a dashed oval.