#1[1] → #6 · MEM#1[2] → #224 · MEM#3[0] → #25 · CTRL#9[0] → #5 · CTRL#12[1] → #6 · MEM#12[2] → #9 · DATA#12[3] → #11 · DATA#13[0] → #5 · CTRL#14[1] → #12 · MEM#14[2] → #13 · DATA#14[3] → #4 · DATA#16[1] → #14 · MEM#16[2] → #9 · DATA#17[0] → #5 · CTRL#17[1] → #7 · DATA#22[1] → #14 · MEM#22[2] → #9 · DATA#22[3] → #21 · DATA#23[1] → #8 · CTRL#23[2] → #10 · CTRL#25[0] → #23 · CTRL#25[1] → #1 · MEM#25[2] → #16 · DATA#224[1] → #22 · MEM#224[2] → #14 · MEMMemMerge #1#1 MemMerge
Type not computed
[0] → — DATA
[1] → #6 MEM
[2] → #224 MEM012Start #2#2 Start
Type not computed
Stop #3#3 Stop
Type not computed
[0] → #25 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 #17
Type not computed
[0] → #17 CTRLnew S #9#9 new S
Type not computed
[0] → #5 CTRL0False #10/1#10 False
Projection 1 of #17
Type not computed
[0] → #17 CTRL#2 #11#11 #2
Type not computed
.f = #12#12 .f =
Type not computed
[0] → — DATA
[1] → #6 MEM
[2] → #9 DATA
[3] → #11 DATA0123new S #13#13 new S
Type not computed
[0] → #5 CTRL0.f = #14#14 .f =
Type not computed
[0] → — DATA
[1] → #12 MEM
[2] → #13 DATA
[3] → #4 DATA0123.f #16#16 .f
Type not computed
[0] → — DATA
[1] → #14 MEM
[2] → #9 DATA012If #17#17 If
Type not computed
[0] → #5 CTRL
[1] → #7 DATA01#1 #21#21 #1
Type not computed
.f = #22#22 .f =
Type not computed
[0] → — DATA
[1] → #14 MEM
[2] → #9 DATA
[3] → #21 DATA0123Region #23#23 Region
Type not computed
[0] → — DATA
[1] → #8 CTRL
[2] → #10 CTRL012Return #25#25 Return
Type not computed
[0] → #23 CTRL
[1] → #1 MEM
[2] → #16 DATA012MemPhi_2 #224#224 MemPhi_2
Type not computed
[0] → #23 ASSOC
[1] → #22 MEM
[2] → #14 MEM[0] → #23012If #17If · 6 nodes−Fold region