An acyclic region that does not fit any of the simple categories and so is identified as a proper interval

Structural Analysis of a flow graph

Control tree of the flow graph analyzed in the previous slide