#3[0] → #25 · CTRL#8[0] → #1 · CTRL#8[1] → #4 · DATA#13[0] → #5 · CTRL#13[1] → #4 · DATA#19[1] → #10 · CTRL#19[2] → #11 · CTRL#20[1] → #17 · DATA#20[2] → #18 · DATA#21[1] → #19 · CTRL#21[2] → #9 · CTRL#22[1] → #12 · DATA#22[2] → #6 · DATA#23[1] → #20 · DATA#23[2] → #7 · DATA#24[1] → #23 · DATA#24[2] → #22 · DATA#25[0] → #21 · CTRL#25[1] → #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] → #25 CTRL0arg #4/1#4 arg
Projection 1 of #2
Type not computed
[0] → #2 DATATrue #5/0#5 True
Projection 0 of #8
Type not computed
[0] → #8 CTRL#0 #6#6 #0
Type not computed
#1 #7#7 #1
Type not computed
If #8#8 If
Type not computed
[0] → #1 CTRL
[1] → #4 DATA01False #9/1#9 False
Projection 1 of #8
Type not computed
[0] → #8 CTRLTrue #10/0#10 True
Projection 0 of #13
Type not computed
[0] → #13 CTRLFalse #11/1#11 False
Projection 1 of #13
Type not computed
[0] → #13 CTRL#2 #12#12 #2
Type not computed
If #13#13 If
Type not computed
[0] → #5 CTRL
[1] → #4 DATA01#2 #17#17 #2
Type not computed
#3 #18#18 #3
Type not computed
Region #19#19 Region
Type not computed
[0] → — DATA
[1] → #10 CTRL
[2] → #11 CTRL012φ_b #20#20 φ_b
Type not computed
[0] → #19 ASSOC
[1] → #17 DATA
[2] → #18 DATA[0] → #19012Region #21#21 Region
Type not computed
[0] → — DATA
[1] → #19 CTRL
[2] → #9 CTRL012φ_a #22#22 φ_a
Type not computed
[0] → #21 ASSOC
[1] → #12 DATA
[2] → #6 DATA[0] → #21012φ_b #23#23 φ_b
Type not computed
[0] → #21 ASSOC
[1] → #20 DATA
[2] → #7 DATA[0] → #21012+ #24#24 +
Type not computed
[0] → — DATA
[1] → #23 DATA
[2] → #22 DATA012Return #25#25 Return
Type not computed
[0] → #21 CTRL
[1] → #24 DATA01If #8If · 12 nodes−Fold regionIf #13If · 5 nodes−Fold region