#3[0] → #17 · CTRL#6[1] → #1 · CTRL#6[2] → #5 · CTRL#8[1] → #4 · DATA#8[2] → #16 · DATA#10[1] → #8 · DATA#10[2] → #9 · DATA#11[0] → #6 · CTRL#11[1] → #10 · DATA#16[1] → #8 · DATA#16[2] → #15 · DATA#17[0] → #7 · CTRL#17[1] → #8 · 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] → #17 CTRL0arg #4/1#4 arg
Projection 1 of #2
Type not computed
[0] → #2 DATATrue #5/0#5 True
Projection 0 of #11
Type not computed
[0] → #11 CTRLLoop #6#6 Loop
Type not computed
[0] → — DATA
[1] → #1 CTRL
[2] → #5 CTRL012False #7/1#7 False
Projection 1 of #11
Type not computed
[0] → #11 CTRLφ_arg #8#8 φ_arg
Type not computed
[0] → #6 ASSOC
[1] → #4 DATA
[2] → #16 DATA[0] → #601210 #9#9 10
Type not computed
< #10#10 <
Type not computed
[0] → — DATA
[1] → #8 DATA
[2] → #9 DATA012If #11#11 If
Type not computed
[0] → #6 CTRL
[1] → #10 DATA011 #15#15 1
Type not computed
+ #16#16 +
Type not computed
[0] → — DATA
[1] → #8 DATA
[2] → #15 DATA012Return #17#17 Return
Type not computed
[0] → #7 CTRL
[1] → #8 DATA01Loop #6Loop · 7 nodes−Fold region