It is useful to capture the high-level control flow information for high-level transformations; loop transformations are one such example. These statements are often dismantled before low-level optimizations such as data flow optimizations are run.
