#3[0] → #40 · CTRL#6[1] → #1 · CTRL#6[2] → #39 · 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#18[1] → #16 · DATA#18[2] → #17 · DATA#19[0] → #5 · CTRL#19[1] → #18 · DATA#27[1] → #16 · DATA#27[2] → #26 · DATA#28[0] → #13 · CTRL#28[1] → #27 · DATA#34[1] → #7 · CTRL#34[2] → #14 · CTRL#35[1] → #8 · DATA#35[2] → #16 · DATA#39[1] → #12 · CTRL#39[2] → #20 · CTRL#40[0] → #34 · CTRL#40[1] → #35 · 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] → #40 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] → #39 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 DATA01True #12/0#12 True
Projection 0 of #19
Type not computed
[0] → #19 CTRLFalse #13/1#13 False
Projection 1 of #19
Type not computed
[0] → #19 CTRLTrue #14/0#14 True
Projection 0 of #28
Type not computed
[0] → #28 CTRL1 #15#15 1
Type not computed
+ #16#16 +
Type not computed
[0] → — DATA
[1] → #8 DATA
[2] → #15 DATA0125 #17#17 5
Type not computed
== #18#18 ==
Type not computed
[0] → — DATA
[1] → #16 DATA
[2] → #17 DATA012If #19#19 If
Type not computed
[0] → #5 CTRL
[1] → #18 DATA01False #20/1#20 False
Projection 1 of #28
Type not computed
[0] → #28 CTRL6 #26#26 6
Type not computed
== #27#27 ==
Type not computed
[0] → — DATA
[1] → #16 DATA
[2] → #26 DATA012If #28#28 If
Type not computed
[0] → #13 CTRL
[1] → #27 DATA01Region #34#34 Region
Type not computed
[0] → — DATA
[1] → #7 CTRL
[2] → #14 CTRL012φ_arg #35#35 φ_arg
Type not computed
[0] → #34 ASSOC
[1] → #8 DATA
[2] → #16 DATA[0] → #34012Region #39#39 Region
Type not computed
[0] → — DATA
[1] → #12 CTRL
[2] → #20 CTRL012Return #40#40 Return
Type not computed
[0] → #34 CTRL
[1] → #35 DATA01Loop #6Loop · 15 nodes−Fold region