@ -12,11 +12,11 @@ digraph iCFG {
250 -> 248 ;
250 -> 249 ;
249 [label="249: Prune (false branch) \n n$10=*&q:int [line 171]\n PRUNE((n$10 == 0), false); [line 171]\n REMOVE_TEMPS(n$10); [line 171]\n NULLIFY(&q,false ); [line 171]\n " shape="invhouse"]
249 [label="249: Prune (false branch) \n n$10=*&q:int [line 171]\n PRUNE((n$10 == 0), false); [line 171]\n REMOVE_TEMPS(n$10); [line 171]\n NULLIFY(&q); [line 171]\n " shape="invhouse"]
249 -> 247 ;
248 [label="248: Prune (true branch) \n n$10=*&q:int [line 171]\n PRUNE((n$10 != 0), true); [line 171]\n REMOVE_TEMPS(n$10); [line 171]\n NULLIFY(&q,false ); [line 171]\n APPLY_ABSTRACTION; [line 171]\n " shape="invhouse"]
248 [label="248: Prune (true branch) \n n$10=*&q:int [line 171]\n PRUNE((n$10 != 0), true); [line 171]\n REMOVE_TEMPS(n$10); [line 171]\n NULLIFY(&q); [line 171]\n APPLY_ABSTRACTION; [line 171]\n " shape="invhouse"]
248 -> 245 ;
@ -44,7 +44,7 @@ digraph iCFG {
242 -> 245 ;
241 [label="241: BinaryOperatorStmt: GE \n n$5=*&v:int [line 177]\n NULLIFY(&v,false ); [line 177]\n " shape="box"]
241 [label="241: BinaryOperatorStmt: GE \n n$5=*&v:int [line 177]\n NULLIFY(&v); [line 177]\n " shape="box"]
241 -> 242 ;
@ -87,7 +87,7 @@ digraph iCFG {
232 -> 233 ;
231 [label="231: Prune (false branch) \n PRUNE(((n$2 < 10) == 0), false); [line 173]\n REMOVE_TEMPS(n$2); [line 173]\n NULLIFY(&i,false ); [line 173]\n NULLIFY(&j,false ); [line 173]\n NULLIFY(&k,false ); [line 173]\n " shape="invhouse"]
231 [label="231: Prune (false branch) \n PRUNE(((n$2 < 10) == 0), false); [line 173]\n REMOVE_TEMPS(n$2); [line 173]\n NULLIFY(&i); [line 173]\n NULLIFY(&j); [line 173]\n NULLIFY(&k); [line 173]\n " shape="invhouse"]
231 -> 227 ;
@ -155,11 +155,11 @@ digraph iCFG {
215 -> 212 ;
214 [label="214: Prune (true branch) \n PRUNE(((n$5 >= 15) != 0), true); [line 152]\n REMOVE_TEMPS(n$5); [line 152]\n NULLIFY(&i,false ); [line 152]\n NULLIFY(&j,false ); [line 152]\n NULLIFY(&k,false ); [line 152]\n APPLY_ABSTRACTION; [line 152]\n " shape="invhouse"]
214 [label="214: Prune (true branch) \n PRUNE(((n$5 >= 15) != 0), true); [line 152]\n REMOVE_TEMPS(n$5); [line 152]\n NULLIFY(&i); [line 152]\n NULLIFY(&j); [line 152]\n NULLIFY(&k); [line 152]\n APPLY_ABSTRACTION; [line 152]\n " shape="invhouse"]
214 -> 199 ;
213 [label="213: BinaryOperatorStmt: GE \n n$5=*&v:int [line 152]\n NULLIFY(&v,false ); [line 152]\n " shape="box"]
213 [label="213: BinaryOperatorStmt: GE \n n$5=*&v:int [line 152]\n NULLIFY(&v); [line 152]\n " shape="box"]
213 -> 214 ;
@ -202,7 +202,7 @@ digraph iCFG {
204 -> 205 ;
203 [label="203: Prune (false branch) \n PRUNE(((n$2 < 10) == 0), false); [line 148]\n REMOVE_TEMPS(n$2); [line 148]\n NULLIFY(&i,false ); [line 148]\n NULLIFY(&j,false ); [line 148]\n NULLIFY(&k,false ); [line 148]\n APPLY_ABSTRACTION; [line 148]\n " shape="invhouse"]
203 [label="203: Prune (false branch) \n PRUNE(((n$2 < 10) == 0), false); [line 148]\n REMOVE_TEMPS(n$2); [line 148]\n NULLIFY(&i); [line 148]\n NULLIFY(&j); [line 148]\n NULLIFY(&k); [line 148]\n APPLY_ABSTRACTION; [line 148]\n " shape="invhouse"]
203 -> 199 ;
@ -254,11 +254,11 @@ digraph iCFG {
191 -> 184 ;
190 [label="190: Prune (false branch) \n n$8=*&SIL_temp_conditional___n$6:int [line 128]\n PRUNE((n$8 == 0), false); [line 128]\n REMOVE_TEMPS(n$8); [line 128]\n NULLIFY(&SIL_temp_conditional___n$6,false ); [line 128]\n " shape="invhouse"]
190 [label="190: Prune (false branch) \n n$8=*&SIL_temp_conditional___n$6:int [line 128]\n PRUNE((n$8 == 0), false); [line 128]\n REMOVE_TEMPS(n$8); [line 128]\n NULLIFY(&SIL_temp_conditional___n$6); [line 128]\n " shape="invhouse"]
190 -> 182 ;
189 [label="189: Prune (true branch) \n n$8=*&SIL_temp_conditional___n$6:int [line 128]\n PRUNE((n$8 != 0), true); [line 128]\n REMOVE_TEMPS(n$8); [line 128]\n NULLIFY(&SIL_temp_conditional___n$6,false ); [line 128]\n APPLY_ABSTRACTION; [line 128]\n " shape="invhouse"]
189 [label="189: Prune (true branch) \n n$8=*&SIL_temp_conditional___n$6:int [line 128]\n PRUNE((n$8 != 0), true); [line 128]\n REMOVE_TEMPS(n$8); [line 128]\n NULLIFY(&SIL_temp_conditional___n$6); [line 128]\n APPLY_ABSTRACTION; [line 128]\n " shape="invhouse"]
189 -> 164 ;
@ -292,11 +292,11 @@ digraph iCFG {
182 -> 175 ;
181 [label="181: Prune (false branch) \n n$5=*&SIL_temp_conditional___n$3:int [line 130]\n PRUNE((n$5 == 0), false); [line 130]\n REMOVE_TEMPS(n$5); [line 130]\n NULLIFY(&SIL_temp_conditional___n$3,false ); [line 130]\n " shape="invhouse"]
181 [label="181: Prune (false branch) \n n$5=*&SIL_temp_conditional___n$3:int [line 130]\n PRUNE((n$5 == 0), false); [line 130]\n REMOVE_TEMPS(n$5); [line 130]\n NULLIFY(&SIL_temp_conditional___n$3); [line 130]\n " shape="invhouse"]
181 -> 173 ;
180 [label="180: Prune (true branch) \n n$5=*&SIL_temp_conditional___n$3:int [line 130]\n PRUNE((n$5 != 0), true); [line 130]\n REMOVE_TEMPS(n$5); [line 130]\n NULLIFY(&SIL_temp_conditional___n$3,false ); [line 130]\n APPLY_ABSTRACTION; [line 130]\n " shape="invhouse"]
180 [label="180: Prune (true branch) \n n$5=*&SIL_temp_conditional___n$3:int [line 130]\n PRUNE((n$5 != 0), true); [line 130]\n REMOVE_TEMPS(n$5); [line 130]\n NULLIFY(&SIL_temp_conditional___n$3); [line 130]\n APPLY_ABSTRACTION; [line 130]\n " shape="invhouse"]
180 -> 162 ;
@ -351,7 +351,7 @@ digraph iCFG {
168 -> 164 ;
167 [label="167: DeclStmt \n *&a:int =2 [line 137]\n NULLIFY(&a,false ); [line 137]\n " shape="box"]
167 [label="167: DeclStmt \n *&a:int =2 [line 137]\n NULLIFY(&a); [line 137]\n " shape="box"]
167 -> 166 ;
@ -386,11 +386,11 @@ digraph iCFG {
159 -> 152 ;
158 [label="158: Prune (false branch) \n n$8=*&SIL_temp_conditional___n$6:int [line 106]\n PRUNE((n$8 == 0), false); [line 106]\n REMOVE_TEMPS(n$8); [line 106]\n NULLIFY(&SIL_temp_conditional___n$6,false ); [line 106]\n " shape="invhouse"]
158 [label="158: Prune (false branch) \n n$8=*&SIL_temp_conditional___n$6:int [line 106]\n PRUNE((n$8 == 0), false); [line 106]\n REMOVE_TEMPS(n$8); [line 106]\n NULLIFY(&SIL_temp_conditional___n$6); [line 106]\n " shape="invhouse"]
158 -> 150 ;
157 [label="157: Prune (true branch) \n n$8=*&SIL_temp_conditional___n$6:int [line 106]\n PRUNE((n$8 != 0), true); [line 106]\n REMOVE_TEMPS(n$8); [line 106]\n NULLIFY(&SIL_temp_conditional___n$6,false ); [line 106]\n APPLY_ABSTRACTION; [line 106]\n " shape="invhouse"]
157 [label="157: Prune (true branch) \n n$8=*&SIL_temp_conditional___n$6:int [line 106]\n PRUNE((n$8 != 0), true); [line 106]\n REMOVE_TEMPS(n$8); [line 106]\n NULLIFY(&SIL_temp_conditional___n$6); [line 106]\n APPLY_ABSTRACTION; [line 106]\n " shape="invhouse"]
157 -> 132 ;
@ -424,11 +424,11 @@ digraph iCFG {
150 -> 143 ;
149 [label="149: Prune (false branch) \n n$5=*&SIL_temp_conditional___n$3:int [line 108]\n PRUNE((n$5 == 0), false); [line 108]\n REMOVE_TEMPS(n$5); [line 108]\n NULLIFY(&SIL_temp_conditional___n$3,false ); [line 108]\n " shape="invhouse"]
149 [label="149: Prune (false branch) \n n$5=*&SIL_temp_conditional___n$3:int [line 108]\n PRUNE((n$5 == 0), false); [line 108]\n REMOVE_TEMPS(n$5); [line 108]\n NULLIFY(&SIL_temp_conditional___n$3); [line 108]\n " shape="invhouse"]
149 -> 141 ;
148 [label="148: Prune (true branch) \n n$5=*&SIL_temp_conditional___n$3:int [line 108]\n PRUNE((n$5 != 0), true); [line 108]\n REMOVE_TEMPS(n$5); [line 108]\n NULLIFY(&SIL_temp_conditional___n$3,false ); [line 108]\n APPLY_ABSTRACTION; [line 108]\n " shape="invhouse"]
148 [label="148: Prune (true branch) \n n$5=*&SIL_temp_conditional___n$3:int [line 108]\n PRUNE((n$5 != 0), true); [line 108]\n REMOVE_TEMPS(n$5); [line 108]\n NULLIFY(&SIL_temp_conditional___n$3); [line 108]\n APPLY_ABSTRACTION; [line 108]\n " shape="invhouse"]
148 -> 130 ;
@ -483,7 +483,7 @@ digraph iCFG {
136 -> 132 ;
135 [label="135: DeclStmt \n *&a:int =2 [line 115]\n NULLIFY(&a,false ); [line 115]\n " shape="box"]
135 [label="135: DeclStmt \n *&a:int =2 [line 115]\n NULLIFY(&a); [line 115]\n " shape="box"]
135 -> 134 ;
@ -518,11 +518,11 @@ digraph iCFG {
127 -> 120 ;
126 [label="126: Prune (false branch) \n n$9=*&SIL_temp_conditional___n$7:int [line 85]\n PRUNE((n$9 == 0), false); [line 85]\n REMOVE_TEMPS(n$9); [line 85]\n NULLIFY(&SIL_temp_conditional___n$7,false ); [line 85]\n " shape="invhouse"]
126 [label="126: Prune (false branch) \n n$9=*&SIL_temp_conditional___n$7:int [line 85]\n PRUNE((n$9 == 0), false); [line 85]\n REMOVE_TEMPS(n$9); [line 85]\n NULLIFY(&SIL_temp_conditional___n$7); [line 85]\n " shape="invhouse"]
126 -> 118 ;
125 [label="125: Prune (true branch) \n n$9=*&SIL_temp_conditional___n$7:int [line 85]\n PRUNE((n$9 != 0), true); [line 85]\n REMOVE_TEMPS(n$9); [line 85]\n NULLIFY(&SIL_temp_conditional___n$7,false ); [line 85]\n APPLY_ABSTRACTION; [line 85]\n " shape="invhouse"]
125 [label="125: Prune (true branch) \n n$9=*&SIL_temp_conditional___n$7:int [line 85]\n PRUNE((n$9 != 0), true); [line 85]\n REMOVE_TEMPS(n$9); [line 85]\n NULLIFY(&SIL_temp_conditional___n$7); [line 85]\n APPLY_ABSTRACTION; [line 85]\n " shape="invhouse"]
125 -> 99 ;
@ -556,11 +556,11 @@ digraph iCFG {
118 -> 111 ;
117 [label="117: Prune (false branch) \n n$6=*&SIL_temp_conditional___n$4:int [line 87]\n PRUNE((n$6 == 0), false); [line 87]\n REMOVE_TEMPS(n$6); [line 87]\n NULLIFY(&SIL_temp_conditional___n$4,false ); [line 87]\n " shape="invhouse"]
117 [label="117: Prune (false branch) \n n$6=*&SIL_temp_conditional___n$4:int [line 87]\n PRUNE((n$6 == 0), false); [line 87]\n REMOVE_TEMPS(n$6); [line 87]\n NULLIFY(&SIL_temp_conditional___n$4); [line 87]\n " shape="invhouse"]
117 -> 109 ;
116 [label="116: Prune (true branch) \n n$6=*&SIL_temp_conditional___n$4:int [line 87]\n PRUNE((n$6 != 0), true); [line 87]\n REMOVE_TEMPS(n$6); [line 87]\n NULLIFY(&SIL_temp_conditional___n$4,false ); [line 87]\n APPLY_ABSTRACTION; [line 87]\n " shape="invhouse"]
116 [label="116: Prune (true branch) \n n$6=*&SIL_temp_conditional___n$4:int [line 87]\n PRUNE((n$6 != 0), true); [line 87]\n REMOVE_TEMPS(n$6); [line 87]\n NULLIFY(&SIL_temp_conditional___n$4); [line 87]\n APPLY_ABSTRACTION; [line 87]\n " shape="invhouse"]
116 -> 102 ;
@ -623,7 +623,7 @@ digraph iCFG {
102 -> 101 ;
101 [label="101: DeclStmt \n *&a:int =2 [line 94]\n NULLIFY(&a,false ); [line 94]\n " shape="box"]
101 [label="101: DeclStmt \n *&a:int =2 [line 94]\n NULLIFY(&a); [line 94]\n " shape="box"]
101 -> 100 ;
@ -654,11 +654,11 @@ digraph iCFG {
94 -> 87 ;
93 [label="93: Prune (false branch) \n n$9=*&SIL_temp_conditional___n$7:int [line 63]\n PRUNE((n$9 == 0), false); [line 63]\n REMOVE_TEMPS(n$9); [line 63]\n NULLIFY(&SIL_temp_conditional___n$7,false ); [line 63]\n " shape="invhouse"]
93 [label="93: Prune (false branch) \n n$9=*&SIL_temp_conditional___n$7:int [line 63]\n PRUNE((n$9 == 0), false); [line 63]\n REMOVE_TEMPS(n$9); [line 63]\n NULLIFY(&SIL_temp_conditional___n$7); [line 63]\n " shape="invhouse"]
93 -> 85 ;
92 [label="92: Prune (true branch) \n n$9=*&SIL_temp_conditional___n$7:int [line 63]\n PRUNE((n$9 != 0), true); [line 63]\n REMOVE_TEMPS(n$9); [line 63]\n NULLIFY(&SIL_temp_conditional___n$7,false ); [line 63]\n APPLY_ABSTRACTION; [line 63]\n " shape="invhouse"]
92 [label="92: Prune (true branch) \n n$9=*&SIL_temp_conditional___n$7:int [line 63]\n PRUNE((n$9 != 0), true); [line 63]\n REMOVE_TEMPS(n$9); [line 63]\n NULLIFY(&SIL_temp_conditional___n$7); [line 63]\n APPLY_ABSTRACTION; [line 63]\n " shape="invhouse"]
92 -> 65 ;
@ -692,11 +692,11 @@ digraph iCFG {
85 -> 78 ;
84 [label="84: Prune (false branch) \n n$6=*&SIL_temp_conditional___n$4:int [line 65]\n PRUNE((n$6 == 0), false); [line 65]\n REMOVE_TEMPS(n$6); [line 65]\n NULLIFY(&SIL_temp_conditional___n$4,false ); [line 65]\n " shape="invhouse"]
84 [label="84: Prune (false branch) \n n$6=*&SIL_temp_conditional___n$4:int [line 65]\n PRUNE((n$6 == 0), false); [line 65]\n REMOVE_TEMPS(n$6); [line 65]\n NULLIFY(&SIL_temp_conditional___n$4); [line 65]\n " shape="invhouse"]
84 -> 76 ;
83 [label="83: Prune (true branch) \n n$6=*&SIL_temp_conditional___n$4:int [line 65]\n PRUNE((n$6 != 0), true); [line 65]\n REMOVE_TEMPS(n$6); [line 65]\n NULLIFY(&SIL_temp_conditional___n$4,false ); [line 65]\n " shape="invhouse"]
83 [label="83: Prune (true branch) \n n$6=*&SIL_temp_conditional___n$4:int [line 65]\n PRUNE((n$6 != 0), true); [line 65]\n REMOVE_TEMPS(n$6); [line 65]\n NULLIFY(&SIL_temp_conditional___n$4); [line 65]\n " shape="invhouse"]
83 -> 68 ;
@ -763,7 +763,7 @@ digraph iCFG {
68 -> 67 ;
67 [label="67: DeclStmt \n *&a:int =2 [line 73]\n NULLIFY(&a,false ); [line 73]\n " shape="box"]
67 [label="67: DeclStmt \n *&a:int =2 [line 73]\n NULLIFY(&a); [line 73]\n " shape="box"]
67 -> 66 ;
@ -790,19 +790,19 @@ digraph iCFG {
61 -> 75 ;
60 [label="60: DeclStmt \n *&a:int =0 [line 38]\n NULLIFY(&a,false ); [line 38]\n APPLY_ABSTRACTION; [line 38]\n " shape="box"]
60 [label="60: DeclStmt \n *&a:int =0 [line 38]\n NULLIFY(&a); [line 38]\n APPLY_ABSTRACTION; [line 38]\n " shape="box"]
60 -> 40 ;
59 [label="59: BinaryOperatorStmt: Assign \n *&a:int =1 [line 40]\n NULLIFY(&a,false ); [line 40]\n " shape="box"]
59 [label="59: BinaryOperatorStmt: Assign \n *&a:int =1 [line 40]\n NULLIFY(&a); [line 40]\n " shape="box"]
59 -> 52 ;
58 [label="58: Prune (false branch) \n n$6=*&SIL_temp_conditional___n$4:int [line 42]\n PRUNE((n$6 == 0), false); [line 42]\n REMOVE_TEMPS(n$6); [line 42]\n NULLIFY(&SIL_temp_conditional___n$4,false ); [line 42]\n " shape="invhouse"]
58 [label="58: Prune (false branch) \n n$6=*&SIL_temp_conditional___n$4:int [line 42]\n PRUNE((n$6 == 0), false); [line 42]\n REMOVE_TEMPS(n$6); [line 42]\n NULLIFY(&SIL_temp_conditional___n$4); [line 42]\n " shape="invhouse"]
58 -> 50 ;
57 [label="57: Prune (true branch) \n n$6=*&SIL_temp_conditional___n$4:int [line 42]\n PRUNE((n$6 != 0), true); [line 42]\n REMOVE_TEMPS(n$6); [line 42]\n NULLIFY(&SIL_temp_conditional___n$4,false ); [line 42]\n " shape="invhouse"]
57 [label="57: Prune (true branch) \n n$6=*&SIL_temp_conditional___n$4:int [line 42]\n PRUNE((n$6 != 0), true); [line 42]\n REMOVE_TEMPS(n$6); [line 42]\n NULLIFY(&SIL_temp_conditional___n$4); [line 42]\n " shape="invhouse"]
57 -> 31 ;
@ -836,11 +836,11 @@ digraph iCFG {
50 -> 43 ;
49 [label="49: Prune (false branch) \n n$3=*&SIL_temp_conditional___n$1:int [line 44]\n PRUNE((n$3 == 0), false); [line 44]\n REMOVE_TEMPS(n$3); [line 44]\n NULLIFY(&SIL_temp_conditional___n$1,false ); [line 44]\n " shape="invhouse"]
49 [label="49: Prune (false branch) \n n$3=*&SIL_temp_conditional___n$1:int [line 44]\n PRUNE((n$3 == 0), false); [line 44]\n REMOVE_TEMPS(n$3); [line 44]\n NULLIFY(&SIL_temp_conditional___n$1); [line 44]\n " shape="invhouse"]
49 -> 41 ;
48 [label="48: Prune (true branch) \n n$3=*&SIL_temp_conditional___n$1:int [line 44]\n PRUNE((n$3 != 0), true); [line 44]\n REMOVE_TEMPS(n$3); [line 44]\n NULLIFY(&SIL_temp_conditional___n$1,false ); [line 44]\n " shape="invhouse"]
48 [label="48: Prune (true branch) \n n$3=*&SIL_temp_conditional___n$1:int [line 44]\n PRUNE((n$3 != 0), true); [line 44]\n REMOVE_TEMPS(n$3); [line 44]\n NULLIFY(&SIL_temp_conditional___n$1); [line 44]\n " shape="invhouse"]
48 -> 34 ;
@ -903,7 +903,7 @@ digraph iCFG {
34 -> 33 ;
33 [label="33: BinaryOperatorStmt: Assign \n *&a:int =2 [line 51]\n NULLIFY(&a,false ); [line 51]\n " shape="box"]
33 [label="33: BinaryOperatorStmt: Assign \n *&a:int =2 [line 51]\n NULLIFY(&a); [line 51]\n " shape="box"]
33 -> 32 ;
@ -915,7 +915,7 @@ digraph iCFG {
31 -> 30 ;
30 [label="30: BinaryOperatorStmt: Assign \n *&a:int =3 [line 55]\n NULLIFY(&a,false ); [line 55]\n " shape="box"]
30 [label="30: BinaryOperatorStmt: Assign \n *&a:int =3 [line 55]\n NULLIFY(&a); [line 55]\n " shape="box"]
30 -> 29 ;
@ -930,7 +930,7 @@ digraph iCFG {
27 -> 60 ;
26 [label="26: DeclStmt \n *&a:int =0 [line 27]\n NULLIFY(&a,false ); [line 27]\n " shape="box"]
26 [label="26: DeclStmt \n *&a:int =0 [line 27]\n NULLIFY(&a); [line 27]\n " shape="box"]
26 -> 23 ;
@ -959,7 +959,7 @@ digraph iCFG {
20 -> 19 ;
19 [label="19: BinaryOperatorStmt: Assign \n *&a:int =1 [line 33]\n NULLIFY(&a,false ); [line 33]\n " shape="box"]
19 [label="19: BinaryOperatorStmt: Assign \n *&a:int =1 [line 33]\n NULLIFY(&a); [line 33]\n " shape="box"]
19 -> 18 ;
@ -974,7 +974,7 @@ digraph iCFG {
16 -> 26 ;
15 [label="15: DeclStmt \n *&a:int =0 [line 15]\n NULLIFY(&a,false ); [line 15]\n " shape="box"]
15 [label="15: DeclStmt \n *&a:int =0 [line 15]\n NULLIFY(&a); [line 15]\n " shape="box"]
15 -> 12 ;
@ -1007,7 +1007,7 @@ digraph iCFG {
8 -> 7 ;
7 [label="7: BinaryOperatorStmt: Assign \n *&a:int =1 [line 22]\n NULLIFY(&a,false ); [line 22]\n " shape="box"]
7 [label="7: BinaryOperatorStmt: Assign \n *&a:int =1 [line 22]\n NULLIFY(&a); [line 22]\n " shape="box"]
7 -> 6 ;