#3[0] → #20 · CTRL#9[1] → #4 · DATA#9[2] → #8 · DATA#10[0] → #1 · CTRL#10[1] → #9 · DATA#17[1] → #5 · CTRL#17[2] → #6 · CTRL#18[1] → #14 · DATA#18[2] → #16 · DATA#20[0] → #17 · CTRL#20[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] → #20 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 CTRLFalse #6/1#6 False
Projection 1 of #10
Type not computed
[0] → #10 CTRL1 #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 DATA012 #14#14 2
Type not computed
1 #16#16 1
Type not computed
Region #17#17 Region
Type not computed
[0] → — DATA
[1] → #5 CTRL
[2] → #6 CTRL012φ_b #18#18 φ_b
Type not computed
[0] → #17 ASSOC
[1] → #14 DATA
[2] → #16 DATA[0] → #17012Return #20#20 Return
Type not computed
[0] → #17 CTRL
[1] → #18 DATA01If #10If · 6 nodes−Fold region