#3[0] → #16 · CTRL#8[0] → #1 · CTRL#8[1] → #7 · DATA#14[1] → #4 · CTRL#14[2] → #5 · CTRL#15[1] → #12 · DATA#15[2] → #13 · DATA#16[0] → #14 · CTRL#16[1] → #15 · 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] → #16 CTRL0True #4/0#4 True
Projection 0 of #8
Type not computed
[0] → #8 CTRLFalse #5/1#5 False
Projection 1 of #8
Type not computed
[0] → #8 CTRL#1 #7#7 #1
Type not computed
If #8#8 If
Type not computed
[0] → #1 CTRL
[1] → #7 DATA01#2 #12#12 #2
Type not computed
#3 #13#13 #3
Type not computed
Region #14#14 Region
Type not computed
[0] → — DATA
[1] → #4 CTRL
[2] → #5 CTRL012φ_a #15#15 φ_a
Type not computed
[0] → #14 ASSOC
[1] → #12 DATA
[2] → #13 DATA[0] → #14012Return #16#16 Return
Type not computed
[0] → #14 CTRL
[1] → #15 DATA01If #8If · 5 nodes−Fold region