2 -> 3 EACH_TO_EACH
3 -> 4 EACH_TO_EACH
4 -> 8 THEN_TO_BOTH
4 -> 10 ELSE_TO_BOTH
8 -> 0 EACH_TO_EACH
10 -> 0 EACH_TO_EACH

2:
Process order: 1
AnalysisResult#1
Before:   live variables = none
~~~~~~~~~
<entry>

3:
Process order: 2
AnalysisResult#3
Before:   live variables = none
~~~~~~~~~
a   [ VariableDeclaration ]
1   [ IntegerLiteral ]
a = 1   [ Assignment ]
b   [ VariableDeclaration ]
2   [ IntegerLiteral ]
b = 2   [ Assignment ]
c   [ VariableDeclaration ]
3   [ IntegerLiteral ]
c = 3   [ Assignment ]
a   [ LocalVariable ]
0   [ IntegerLiteral ]
(a > 0)   [ GreaterThan ]
~~~~~~~~~
TransferInput#18
After:   live variables = a, b, c

4:
Process order: 3
AnalysisResult#5
Before:   live variables = a, b, c
~~~~~~~~~
ConditionalBlock: then: 8, else: 10

8:
Process order: 4
AnalysisResult#7
Before:   live variables = a, c
~~~~~~~~~
d   [ VariableDeclaration ]
a   [ LocalVariable ]
c   [ LocalVariable ]
(a + c)   [ NumericalAddition ]
d = (a + c)   [ Assignment ]
~~~~~~~~~
TransferInput#2
After:   live variables = none

10:
Process order: 5
AnalysisResult#9
Before:   live variables = a, b
~~~~~~~~~
e   [ VariableDeclaration ]
a   [ LocalVariable ]
b   [ LocalVariable ]
(a + b)   [ NumericalAddition ]
e = (a + b)   [ Assignment ]
~~~~~~~~~
TransferInput#1
After:   live variables = none

0:
Process order: 6
AnalysisResult#11
Before:   live variables = none
~~~~~~~~~
<exit>