[retrac]

Are we including the program itself as graph-like data? A well-structured program is usually a directed graph. Blocks are the vertices, control flow the edges.