#3[0] → #31 · CTRL#8[0] → #1 · CTRL#8[1] → #4 · DATA#22[1] → #5 · CTRL#22[2] → #6 · CTRL#30[1] → #27 · DATA#30[2] → #29 · DATA#31[0] → #22 · CTRL#31[1] → #30 · 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] → #31 CTRL0arg #4/1#4 arg
Projection 1 of #2
Type not computed
[0] → #2 DATATrue #5/0#5 True
Projection 0 of #8
Type not computed
[0] → #8 CTRLFalse #6/1#6 False
Projection 1 of #8
Type not computed
[0] → #8 CTRLIf #8#8 If
Type not computed
[0] → #1 CTRL
[1] → #4 DATA01Region #22#22 Region
Type not computed
[0] → — DATA
[1] → #5 CTRL
[2] → #6 CTRL012#4 #27#27 #4
Type not computed
#1 #29#29 #1
Type not computed
φ_ab #30#30 φ_ab
Type not computed
[0] → #22 ASSOC
[1] → #27 DATA
[2] → #29 DATA[0] → #22012Return #31#31 Return
Type not computed
[0] → #22 CTRL
[1] → #30 DATA01If #8If · 5 nodes−Fold region