#3[0] → #21 · CTRL#7[1] → #1 · CTRL#7[2] → #5 · CTRL#9[1] → #4 · DATA#9[2] → #18 · DATA#10[1] → #9 · DATA#10[2] → #11 · DATA#12[0] → #7 · CTRL#12[1] → #10 · DATA#16[1] → #6 · DATA#16[2] → #9 · DATA#18[1] → #16 · DATA#18[2] → #6 · DATA#21[0] → #8 · CTRL#21[1] → #9 · DATA$ctrl #1/0#1 $ctrl
Projection 0 of #2
Type not computed
[0] → #2 CTRLStart #2#2 Start
Type not computed
Stop #3#3 Stop
Type not computed
[0] → #21 CTRL0arg #4/1#4 arg
Projection 1 of #2
Type not computed
[0] → #2 DATATrue #5/0#5 True
Projection 0 of #12
Type not computed
[0] → #12 CTRL#1 #6#6 #1
Type not computed
Loop #7#7 Loop
Type not computed
[0] → — DATA
[1] → #1 CTRL
[2] → #5 CTRL012False #8/1#8 False
Projection 1 of #12
Type not computed
[0] → #12 CTRLφ_arg #9#9 φ_arg
Type not computed
[0] → #7 ASSOC
[1] → #4 DATA
[2] → #18 DATA[0] → #7012< #10#10 <
Type not computed
[0] → — DATA
[1] → #9 DATA
[2] → #11 DATA012#10 #11#11 #10
Type not computed
If #12#12 If
Type not computed
[0] → #7 CTRL
[1] → #10 DATA01+ #16#16 +
Type not computed
[0] → — DATA
[1] → #6 DATA
[2] → #9 DATA012+ #18#18 +
Type not computed
[0] → — DATA
[1] → #16 DATA
[2] → #6 DATA012Return #21#21 Return
Type not computed
[0] → #8 CTRL
[1] → #9 DATA01Loop #7Loop · 8 nodes−Fold region