#3[0] → #21 · CTRL#8[1] → #6 · CTRL#8[2] → #5 · CTRL#18[0] → #8 · CTRL#18[1] → #4 · DATA#21[0] → #1 · CTRL#21[2] → #4 · DATATrue  #1/0#1 True Projection 0 of #18 Type not computed [0] → #18 CTRLStart  #2#2 Start Type not computed Stop  #3#3 Stop Type not computed [0] → #21 CTRL0#0  #4#4 #0 Type not computed False  #5/1#5 False Projection 1 of #18 Type not computed [0] → #18 CTRL$ctrl  #6/0#6 $ctrl Projection 0 of #2 Type not computed [0] → #2 CTRLLoop  #8#8 Loop Type not computed [0] → — DATA [1] → #6 CTRL [2] → #5 CTRL012Never  #18#18 Never Type not computed [0] → #8 CTRL [1] → #4 DATA01Return  #21#21 Return Type not computed [0] → #1 CTRL [1] → — DATA [2] → #4 DATA012Loop  #8Loop · 4 nodes−Fold region