graph ex2p1 { node [texmode="math",shape="none"]; I0 [label="I"]; C0 [label="C"]; if0 [label="if",texlbl="$\mathtt{if}$"]; E0 [label="E"]; then0 [label="then",texlbl="$\mathtt{then}$"]; I1 [label="I"]; else0 [label="else",texlbl="$\mathtt{else}$"]; I4 [label="I"]; happy [label="happy",texlbl="$\mathtt{happy}$"]; C1 [label="C"]; if1 [label="if",texlbl="$\mathtt{if}$"]; E1 [label="E"]; then1 [label="then",texlbl="$\mathtt{then}$"]; I2 [label="I"]; else1 [label="else",texlbl="$\mathtt{else}$"]; I3 [label="I"]; qux [label="qux",texlbl="$\mathtt{qux}$"]; trippy [label="trippy",texlbl="$\mathtt{trippy}$"]; foo [label="foo",texlbl="$\mathtt{foo}$"]; bar [label="bar",texlbl="$\mathtt{bar}$"]; I0 -- C0; C0 -- if0; C0 -- E0; C0 -- then0; C0 -- I1; C0 -- else0; C0 -- I4; E0 -- happy; I1 -- C1; I4 -- qux; C1 -- if1; C1 -- E1; C1 -- then1; C1 -- I2; C1 -- else1; C1 -- I3; E1 -- trippy; I2 -- foo; I3 -- bar; }