#1[0] → #18 · ASSOC · 3: $ctrl#1[1] → #16 · ASSOC · 3: arg#5[0] → #6 · ASSOC · 2: $ctrl#5[1] → #8 · ASSOC · 2: arg#6[1] → #14 · CTRL#8[1] → #17 · DATA#10[1] → #8 · DATA#10[2] → #9 · DATA#11[0] → #6 · CTRL#11[1] → #10 · DATA#12[0] → #19 · ASSOC · 2: $ctrl#12[1] → #8 · ASSOC · 2: arg#16[1] → #8 · DATA#16[2] → #15 · DATAScope #1#1 Scope
Type not computed
[0] → #18 ASSOC 3: $ctrl
[1] → #16 ASSOC 3: arg3: $ctrl3: arg01Start #2#2 Start
Type not computed
Scope #5#5 Scope
Type not computed
[0] → #6 ASSOC 2: $ctrl
[1] → #8 ASSOC 2: arg2: $ctrl2: arg01Loop #6#6 Loop
Type not computed
[0] → — DATA
[1] → #14 CTRL01φ_arg #8#8 φ_arg
Type not computed
[0] → #6 ASSOC
[1] → #17 DATA[0] → #60110 #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 DATA01Scope #12#12 Scope
Type not computed
[0] → #19 ASSOC 2: $ctrl
[1] → #8 ASSOC 2: arg2: $ctrl2: arg01$ctrl #14/0#14 $ctrl
Projection 0 of #2
Type not computed
[0] → #2 CTRL1 #15#15 1
Type not computed
+ #16#16 +
Type not computed
[0] → — DATA
[1] → #8 DATA
[2] → #15 DATA012arg #17/1#17 arg
Projection 1 of #2
Type not computed
[0] → #2 DATATrue #18/0#18 True
Projection 0 of #11
Type not computed
[0] → #11 CTRLFalse #19/1#19 False
Projection 1 of #11
Type not computed
[0] → #11 CTRLLoop #6Loop · 2 nodes−Fold region