**** Function: foo ****
## Start: 1
# successors 4 
#Block 4
# predecessors 
# successors 5 6 
   5:    IF a GOTO .L0 ELSE GOTO .L1 ------ x0 next: OUTSIDE_BB; x1 next: DEAD; x2 next: DEAD
#Block 5
# predecessors 4 
# successors 7 
   1:  .L0 -------------------------------- x0 next: DEAD;
   6:      a = 3 NONE  -------------------- x0 next: 7; x1 next: DEAD;
   7:      x = a PLUS 1 ------------------- x0 next: OUTSIDE_BB; x1 next: OUTSIDE_BB; x2 next: DEAD
   3:      GOTO .L2 ----------------------- x0 next: DEAD;
#Block 6
# predecessors 4 
# successors 7 
   2:  .L1 -------------------------------- x0 next: DEAD;
   8:      a = 2 NONE  -------------------- x0 next: 9; x1 next: DEAD;
   9:      x = a PLUS 2 ------------------- x0 next: OUTSIDE_BB; x1 next: OUTSIDE_BB; x2 next: DEAD
#Block 7
# predecessors 5 6 
# successors end 
   4:  .L2 -------------------------------- x0 next: DEAD;
## End: 2
# predessors 4 7