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