#3[0] → #32 · CTRL#6[0] → #2 · ASSOC#7[1] → #5 · DATA#7[2] → #6 · DATA#8[0] → #4 · CTRL#8[1] → #7 · DATA#12[1] → #5 · DATA#13[1] → #9 · CTRL#13[2] → #10 · CTRL#14[1] → #12 · DATA#14[2] → #5 · DATA#15[0] → #2 · ASSOC#16[0] → #2 · ASSOC#17[1] → #13 · CTRL#17[2] → #23 · CTRL#19[1] → #16 · DATA#19[2] → #27 · DATA#21[1] → #19 · DATA#21[2] → #14 · DATA#22[0] → #17 · CTRL#22[1] → #21 · DATA#26[0] → #2 · ASSOC#27[1] → #19 · DATA#27[2] → #26 · DATA#28[1] → #15 · DATA#28[2] → #31 · DATA#30[1] → #28 · DATA#30[2] → #19 · DATA#31[1] → #30 · DATA#31[2] → #26 · DATA#32[0] → #24 · CTRL#32[1] → #28 · DATAStart  #2[Ctrl,IntBot]#2 Start [Ctrl,IntBot] Stop  #3#3 Stop Bot [0] → #32 CTRL0$ctrl  #4/0Ctrl#4 $ctrl Projection 0 of #2 Ctrl [0] → #2 CTRLarg  #5/1IntBot#5 arg Projection 1 of #2 IntBot [0] → #2 DATACon  #60#6 Con 0 [0] → #2 ASSOC0LT  #7IntBot#7 LT IntBot [0] → — CTRL [1] → #5 DATA [2] → #6 DATA012If  #8[Ctrl,Ctrl]#8 If [Ctrl,Ctrl] [0] → #4 CTRL [1] → #7 DATA01True  #9/0Ctrl#9 True Projection 0 of #8 Ctrl [0] → #8 CTRLFalse  #10/1Ctrl#10 False Projection 1 of #8 Ctrl [0] → #8 CTRLMinus  #12IntBot#12 Minus IntBot [0] → — CTRL [1] → #5 DATA01Region  #13Ctrl#13 Region Ctrl [0] → — ASSOC [1] → #9 CTRL [2] → #10 CTRL012Phi_n  #14IntBot#14 Phi_n IntBot [0] → #13 ASSOC [1] → #12 DATA [2] → #5 DATA[0] → #13012Con  #150#15 Con 0 [0] → #2 ASSOC0Con  #160#16 Con 0 [0] → #2 ASSOC0Loop  #17Ctrl#17 Loop Ctrl [0] → — ASSOC [1] → #13 CTRL [2] → #23 CTRL012Phi_i  #19IntBot#19 Phi_i IntBot [0] → #17 ASSOC [1] → #16 DATA [2] → #27 DATA[0] → #17012LT  #21IntBot#21 LT IntBot [0] → — CTRL [1] → #19 DATA [2] → #14 DATA012If  #22[Ctrl,Ctrl]#22 If [Ctrl,Ctrl] [0] → #17 CTRL [1] → #21 DATA01True  #23/0Ctrl#23 True Projection 0 of #22 Ctrl [0] → #22 CTRLFalse  #24/1Ctrl#24 False Projection 1 of #22 Ctrl [0] → #22 CTRLCon  #261#26 Con 1 [0] → #2 ASSOC0Add  #27IntBot#27 Add IntBot [0] → — CTRL [1] → #19 DATA [2] → #26 DATA012Phi_sum  #28IntBot#28 Phi_sum IntBot [0] → #17 ASSOC [1] → #15 DATA [2] → #31 DATA[0] → #17012Add  #30IntBot#30 Add IntBot [0] → — CTRL [1] → #28 DATA [2] → #19 DATA012Add  #31IntBot#31 Add IntBot [0] → — CTRL [1] → #30 DATA [2] → #26 DATA012Return  #32[Ctrl,IntBot]#32 Return [Ctrl,IntBot] [0] → #24 CTRL [1] → #28 DATA01If  #8If · 7 nodes−Fold regionLoop  #17Loop · 10 nodes−Fold region