Figure 1: A parse tree and a control-flow graph.