Figure 4: Converting a control construct to a data-flow representation.