#3[0] → #39 · CTRL#6[1] → #1 · CTRL#6[2] → #38 · CTRL#8[1] → #4 · DATA#8[2] → #16 · DATA#10[1] → #8 · DATA#10[2] → #9 · DATA#11[0] → #6 · CTRL#11[1] → #10 · DATA#16[1] → #8 · DATA#16[2] → #15 · DATA#18[1] → #16 · DATA#18[2] → #17 · DATA#19[0] → #5 · CTRL#19[1] → #18 · DATA#27[1] → #16 · DATA#27[2] → #26 · DATA#28[0] → #13 · CTRL#28[1] → #27 · DATA#34[1] → #12 · CTRL#34[2] → #14 · CTRL#38[1] → #34 · CTRL#38[2] → #20 · CTRL#39[0] → #7 · CTRL#39[1] → #8 · 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] → #39 CTRL0arg  #4/1#4 arg Projection 1 of #2 Type not computed [0] → #2 DATATrue  #5/0#5 True Projection 0 of #11 Type not computed [0] → #11 CTRLLoop  #6#6 Loop Type not computed [0] → — DATA [1] → #1 CTRL [2] → #38 CTRL012False  #7/1#7 False Projection 1 of #11 Type not computed [0] → #11 CTRLφ_arg  #8#8 φ_arg Type not computed [0] → #6 ASSOC [1] → #4 DATA [2] → #16 DATA[0] → #601210  #9#9 10 Type not computed <  #10#10 < Type not computed [0] → — DATA [1] → #8 DATA [2] → #9 DATA012If  #11#11 If Type not computed [0] → #6 CTRL [1] → #10 DATA01True  #12/0#12 True Projection 0 of #19 Type not computed [0] → #19 CTRLFalse  #13/1#13 False Projection 1 of #19 Type not computed [0] → #19 CTRLTrue  #14/0#14 True Projection 0 of #28 Type not computed [0] → #28 CTRL1  #15#15 1 Type not computed +  #16#16 + Type not computed [0] → — DATA [1] → #8 DATA [2] → #15 DATA0125  #17#17 5 Type not computed ==  #18#18 == Type not computed [0] → — DATA [1] → #16 DATA [2] → #17 DATA012If  #19#19 If Type not computed [0] → #5 CTRL [1] → #18 DATA01False  #20/1#20 False Projection 1 of #28 Type not computed [0] → #28 CTRL6  #26#26 6 Type not computed ==  #27#27 == Type not computed [0] → — DATA [1] → #16 DATA [2] → #26 DATA012If  #28#28 If Type not computed [0] → #13 CTRL [1] → #27 DATA01Region  #34#34 Region Type not computed [0] → — DATA [1] → #12 CTRL [2] → #14 CTRL012Region  #38#38 Region Type not computed [0] → — DATA [1] → #34 CTRL [2] → #20 CTRL012Return  #39#39 Return Type not computed [0] → #7 CTRL [1] → #8 DATA01Loop  #6Loop · 17 nodes−Fold regionIf  #19If · 10 nodes−Fold region