#1[0] → #11 · CTRL#1[1] → #6 · MEM#1[2] → #230 · MEM#3[0] → #37 · CTRL#9[0] → #5 · CTRL#10[0] → #5 · CTRL#10[1] → #6 · MEM#10[2] → #9 · DATA#10[3] → #4 · DATA#11[1] → #5 · CTRL#11[2] → #32 · CTRL#13[1] → #7 · DATA#13[2] → #35 · DATA#14[0] → #11 · CTRL#14[1] → #4 · DATA#14[2] → #13 · DATA#16[0] → #11 · CTRL#16[1] → #14 · DATA#21[0] → #2 · CTRL#21[1] → #7 · DATA#21[2] → #22 · DATA#23[0] → #11 · CTRL#23[1] → #13 · DATA#23[2] → #24 · DATA#25[0] → #8 · CTRL#25[1] → #23 · DATA#31[0] → #11 · CTRL#31[1] → #230 · MEM#31[2] → #9 · DATA#31[3] → #21 · DATA#32[1] → #15 · CTRL#32[2] → #17 · CTRL#35[0] → #11 · CTRL#35[1] → #13 · DATA#35[2] → #36 · DATA#37[0] → #12 · CTRL#37[1] → #1 · MEM#37[2] → #9 · DATA#230[1] → #10 · MEM#230[2] → #233 · MEM#233[1] → #31 · MEM#233[2] → #230 · MEMMemMerge  #1#1 MemMerge Type not computed [0] → #11 CTRL [1] → #6 MEM [2] → #230 MEM012Start  #2#2 Start Type not computed Stop  #3#3 Stop Type not computed [0] → #37 CTRL0#0  #4#4 #0 Type not computed $ctrl  #5/0#5 $ctrl Projection 0 of #2 Type not computed [0] → #2 CTRL$mem  #6/1#6 $mem Projection 1 of #2 Type not computed [0] → #2 MEMarg  #7/2#7 arg Projection 2 of #2 Type not computed [0] → #2 DATATrue  #8/0#8 True Projection 0 of #16 Type not computed [0] → #16 CTRLnew S  #9#9 new S Type not computed [0] → #5 CTRL0.f =  #10#10 .f = Type not computed [0] → #5 CTRL [1] → #6 MEM [2] → #9 DATA [3] → #4 DATA0123Loop  #11#11 Loop Type not computed [0] → — DATA [1] → #5 CTRL [2] → #32 CTRL012False  #12/1#12 False Projection 1 of #16 Type not computed [0] → #16 CTRLφ_arg  #13#13 φ_arg Type not computed [0] → #11 ASSOC [1] → #7 DATA [2] → #35 DATA[0] → #11012<  #14#14 < Type not computed [0] → #11 CTRL [1] → #4 DATA [2] → #13 DATA012True  #15/0#15 True Projection 0 of #25 Type not computed [0] → #25 CTRLIf  #16#16 If Type not computed [0] → #11 CTRL [1] → #14 DATA01False  #17/1#17 False Projection 1 of #25 Type not computed [0] → #25 CTRL//  #21#21 // Type not computed [0] → #2 CTRL [1] → #7 DATA [2] → #22 DATA012#3  #22#22 #3 Type not computed ==  #23#23 == Type not computed [0] → #11 CTRL [1] → #13 DATA [2] → #24 DATA012#5  #24#24 #5 Type not computed If  #25#25 If Type not computed [0] → #8 CTRL [1] → #23 DATA01.f =  #31#31 .f = Type not computed [0] → #11 CTRL [1] → #230 MEM [2] → #9 DATA [3] → #21 DATA0123Region  #32#32 Region Type not computed [0] → — DATA [1] → #15 CTRL [2] → #17 CTRL012-  #35#35 - Type not computed [0] → #11 CTRL [1] → #13 DATA [2] → #36 DATA012#1  #36#36 #1 Type not computed Return  #37#37 Return Type not computed [0] → #12 CTRL [1] → #1 MEM [2] → #9 DATA012MemPhi_2  #230#230 MemPhi_2 Type not computed [0] → #11 ASSOC [1] → #10 MEM [2] → #233 MEM[0] → #11012MemPhi_2  #233#233 MemPhi_2 Type not computed [0] → #32 ASSOC [1] → #31 MEM [2] → #230 MEM[0] → #32012Loop  #11Loop · 16 nodes−Fold regionIf  #25If · 5 nodes−Fold region