Export tmp.zip-C-f().dot

digraph{
0[label="Node Type: ENTRY_POINT 0
"];
0->1;
1[label="Node Type: NEW VARIABLE 1
"];
1->2;
2[label="Node Type: EXPRESSION 2

EXPRESSION:
a ++

IRs:
TMP_0(uint256) := a(uint256)
a(uint256) = a (c)+ 1"];
2->3;
3[label="Node Type: EXPRESSION 3

EXPRESSION:
a --

IRs:
TMP_1(uint256) := a(uint256)
a(uint256) = a (c)- 1"];
3->4;
4[label="Node Type: EXPRESSION 4

EXPRESSION:
++ a

IRs:
a(uint256) = a (c)+ 1"];
4->5;
5[label="Node Type: EXPRESSION 5

EXPRESSION:
-- a

IRs:
a(uint256) = a (c)- 1"];
5->6;
6[label="Node Type: EXPRESSION 6

EXPRESSION:
~ a

IRs:
TMP_2 = UnaryType.TILD a "];
6->7;
7[label="Node Type: NEW VARIABLE 7
"];
7->8;
8[label="Node Type: EXPRESSION 8

EXPRESSION:
i = - 5

IRs:
TMP_3(uint256) = 0 (c)- 5
i(int256) := TMP_3(uint256)"];
8->9;
9[label="Node Type: EXPRESSION 9

EXPRESSION:
delete m[0]

IRs:
REF_0(uint256) -> m[0]
m = delete REF_0 "];
9->10;
10[label="Node Type: NEW VARIABLE 10
"];
10->11;
11[label="Node Type: EXPRESSION 11

EXPRESSION:
! b

IRs:
TMP_4 = UnaryType.BANG b "];
}

