•
In a CFG
–
the statements of the program are nodes
–
if
s2
may
follow
s1
, draw an edge between
them
