#3[0] → #21 · 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#19[1] → #14 · DATA#19[2] → #6 · DATA#20[1] → #4 · DATA#20[2] → #19 · DATA#21[0] → #16 · CTRL#21[1] → #20 · 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] → #21 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
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#3 #14#14 #3
Type not computed
Region #16#16 Region
Type not computed
[0] → — DATA
[1] → #5 CTRL
[2] → #7 CTRL012φ_a #19#19 φ_a
Type not computed
[0] → #16 ASSOC
[1] → #14 DATA
[2] → #6 DATA[0] → #16012== #20#20 ==
Type not computed
[0] → — DATA
[1] → #4 DATA
[2] → #19 DATA012Return #21#21 Return
Type not computed
[0] → #16 CTRL
[1] → #20 DATA01If #10If · 6 nodes−Fold region