#8[1] → #1 · CTRL#8[2] → #8 · CTRL$ctrl #1/0#1 $ctrl
Projection 0 of #2
Type not computed
[0] → #2 CTRLStart #2#2 Start
Type not computed
#0 #4#4 #0
Type not computed
Loop #8#8 Loop
Type not computed
[0] → — DATA
[1] → #1 CTRL
[2] → #8 CTRL012Loop #8Loop · 1 nodes−Fold region