#3[0] → #21 · CTRL#7[1] → #1 · CTRL#7[2] → #5 · CTRL#9[1] → #4 · DATA#9[2] → #25 · DATA#10[1] → #9 · DATA#10[2] → #11 · DATA#12[0] → #7 · CTRL#12[1] → #10 · DATA#21[0] → #6 · CTRL#21[1] → #9 · DATA#25[1] → #9 · DATA#25[2] → #24 · 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 CTRLFalse #6/1#6 False
Projection 1 of #12
Type not computed
[0] → #12 CTRLLoop #7#7 Loop
Type not computed
[0] → — DATA
[1] → #1 CTRL
[2] → #5 CTRL012φ_arg #9#9 φ_arg
Type not computed
[0] → #7 ASSOC
[1] → #4 DATA
[2] → #25 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 DATA01Return #21#21 Return
Type not computed
[0] → #6 CTRL
[1] → #9 DATA01#2 #24#24 #2
Type not computed
+ #25#25 +
Type not computed
[0] → — DATA
[1] → #9 DATA
[2] → #24 DATA012Loop #7Loop · 7 nodes−Fold region