2 -> 3 EACH_TO_EACH
3 -> 4 EACH_TO_EACH
4 -> 8 THEN_TO_BOTH
4 -> 10 ELSE_TO_BOTH
8 -> 11 EACH_TO_EACH
10 -> 11 EACH_TO_EACH
11 -> 12 EACH_TO_EACH
12 -> 13 EACH_TO_EACH
12 -> 15 ArithmeticException
13 -> 17 EACH_TO_EACH
15 -> 17 EACH_TO_EACH
17 -> 0 EACH_TO_EACH

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

3:
Process order: 2
AnalysisResult#0
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#52
After:   live variables = a, b, c

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

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

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

11:
Process order: 6
AnalysisResult#0
Before:   live variables = a
~~~~~~~~~
f   [ VariableDeclaration ]
b   [ LocalVariable ]
0   [ IntegerLiteral ]
b = 0   [ Assignment ]
expression statement b = 0   [ ExpressionStatement ]
marker (start of try statement #0)   [ Marker ]
marker (start of try block #0)   [ Marker ]
f   [ LocalVariable ]
1   [ IntegerLiteral ]
a   [ LocalVariable ]
~~~~~~~~~
TransferInput#23
After:   live variables = a, b

12:
Process order: 7
AnalysisResult#0
Before:   live variables = a
~~~~~~~~~
(1 / a)   [ IntegerDivision ]
~~~~~~~~~
TransferInput#21
After:   live variables = a

13:
Process order: 8
AnalysisResult#0
Before:   live variables = a
~~~~~~~~~
(1 / a)   [ IntegerDivision ]
f = (1 / a)   [ Assignment ]
expression statement f = 1 / a   [ ExpressionStatement ]
marker (end of try block #0)   [ Marker ]
~~~~~~~~~
TransferInput#5
After:   live variables = a

15:
Process order: 9
AnalysisResult#0
Before:   live variables = a, b
~~~~~~~~~
marker (start of catch block for ArithmeticException #0)   [ CatchMarker ]
e   [ VariableDeclaration ]
f   [ LocalVariable ]
b   [ LocalVariable ]
f = b   [ Assignment ]
expression statement f = b   [ ExpressionStatement ]
marker (end of catch block for ArithmeticException #0)   [ CatchMarker ]
~~~~~~~~~
TransferInput#6
After:   live variables = a

17:
Process order: 10
AnalysisResult#0
Before:   live variables = a
~~~~~~~~~
a   [ LocalVariable ]
return a   [ Return ]
~~~~~~~~~
TransferInput#1
After:   live variables = none

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