#3[0] → #19 · CTRL#9[1] → #4 · DATA#9[2] → #8 · DATA#10[0] → #1 · CTRL#10[1] → #9 · DATA#16[1] → #5 · CTRL#16[2] → #7 · CTRL#17[1] → #15 · DATA#17[2] → #6 · DATA#19[0] → #16 · CTRL#19[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] → #19 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#3 #6#6 #3
Type not computed
False #7/1#7 False
Projection 1 of #10
Type not computed
[0] → #10 CTRL#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 DATA01#4 #15#15 #4
Type not computed
Region #16#16 Region
Type not computed
[0] → — DATA
[1] → #5 CTRL
[2] → #7 CTRL012φ_c #17#17 φ_c
Type not computed
[0] → #16 ASSOC
[1] → #15 DATA
[2] → #6 DATA[0] → #16012Return #19#19 Return
Type not computed
[0] → #16 CTRL
[1] → #17 DATA01If #10If · 6 nodes−Fold region