#3[0] → #18 · CTRL#7[1] → #4 · DATA#7[2] → #6 · DATA#9[1] → #4 · DATA#9[2] → #8 · DATA#10[0] → #1 · CTRL#10[1] → #9 · DATA#15[1] → #4 · DATA#15[2] → #14 · DATA#16[1] → #5 · CTRL#16[2] → #11 · CTRL#17[1] → #15 · DATA#17[2] → #7 · DATA#18[0] → #16 · CTRL#18[1] → #17 · 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] → #18 CTRL0arg #4/1#4 arg
Projection 1 of #2
Type not computed
[0] → #2 DATATrue #5/0#5 True
Projection 0 of #10
Type not computed
[0] → #10 CTRL#2 #6#6 #2
Type not computed
== #7#7 ==
Type not computed
[0] → — DATA
[1] → #4 DATA
[2] → #6 DATA012#1 #8#8 #1
Type not computed
== #9#9 ==
Type not computed
[0] → — DATA
[1] → #4 DATA
[2] → #8 DATA012If #10#10 If
Type not computed
[0] → #1 CTRL
[1] → #9 DATA01False #11/1#11 False
Projection 1 of #10
Type not computed
[0] → #10 CTRL#3 #14#14 #3
Type not computed
== #15#15 ==
Type not computed
[0] → — DATA
[1] → #4 DATA
[2] → #14 DATA012Region #16#16 Region
Type not computed
[0] → — DATA
[1] → #5 CTRL
[2] → #11 CTRL012φ_a #17#17 φ_a
Type not computed
[0] → #16 ASSOC
[1] → #15 DATA
[2] → #7 DATA[0] → #16012Return #18#18 Return
Type not computed
[0] → #16 CTRL
[1] → #17 DATA01If #10If · 8 nodes−Fold region