#1[1] → #6 · ASSOC · 0: arg#1[2] → #34 · ASSOC · 1: a#3[0] → #35 · CTRL#8[1] → #6 · DATA#8[2] → #7 · DATA#9[0] → #5 · CTRL#9[1] → #8 · DATA#14[1] → #6 · DATA#14[2] → #13 · DATA#15[0] → #10 · CTRL#15[1] → #14 · DATA#21[1] → #12 · CTRL#21[2] → #16 · CTRL#22[1] → #19 · DATA#22[2] → #20 · DATA#24[1] → #6 · DATA#24[2] → #23 · DATA#25[0] → #11 · CTRL#25[1] → #24 · DATA#31[1] → #17 · CTRL#31[2] → #18 · CTRL#32[1] → #29 · DATA#32[2] → #30 · DATA#33[1] → #21 · CTRL#33[2] → #31 · CTRL#34[1] → #22 · DATA#34[2] → #32 · DATA#35[0] → #33 · CTRL#35[1] → #34 · DATAScope  #1#1 Scope Type not computed [0] → — ASSOC 0: $ctrl [1] → #6 ASSOC 0: arg [2] → #34 ASSOC 1: a0: $ctrl0: arg1: a012Start  #2#2 Start Type not computed Stop  #3#3 Stop Type not computed [0] → #35 CTRL0$ctrl  #5/0#5 $ctrl Projection 0 of #2 Type not computed [0] → #2 CTRLarg  #6/1#6 arg Projection 1 of #2 Type not computed [0] → #2 DATA#1  #7#7 #1 Type not computed ==  #8#8 == Type not computed [0] → — DATA [1] → #6 DATA [2] → #7 DATA012If  #9#9 If Type not computed [0] → #5 CTRL [1] → #8 DATA01True  #10/0#10 True Projection 0 of #9 Type not computed [0] → #9 CTRLFalse  #11/1#11 False Projection 1 of #9 Type not computed [0] → #9 CTRLTrue  #12/0#12 True Projection 0 of #15 Type not computed [0] → #15 CTRL#2  #13#13 #2 Type not computed ==  #14#14 == Type not computed [0] → — DATA [1] → #6 DATA [2] → #13 DATA012If  #15#15 If Type not computed [0] → #10 CTRL [1] → #14 DATA01False  #16/1#16 False Projection 1 of #15 Type not computed [0] → #15 CTRLTrue  #17/0#17 True Projection 0 of #25 Type not computed [0] → #25 CTRLFalse  #18/1#18 False Projection 1 of #25 Type not computed [0] → #25 CTRL#2  #19#19 #2 Type not computed #3  #20#20 #3 Type not computed Region  #21#21 Region Type not computed [0] → — DATA [1] → #12 CTRL [2] → #16 CTRL012φ_a  #22#22 φ_a Type not computed [0] → #21 ASSOC [1] → #19 DATA [2] → #20 DATA[0] → #21012#3  #23#23 #3 Type not computed ==  #24#24 == Type not computed [0] → — DATA [1] → #6 DATA [2] → #23 DATA012If  #25#25 If Type not computed [0] → #11 CTRL [1] → #24 DATA01#4  #29#29 #4 Type not computed #5  #30#30 #5 Type not computed Region  #31#31 Region Type not computed [0] → — DATA [1] → #17 CTRL [2] → #18 CTRL012φ_a  #32#32 φ_a Type not computed [0] → #31 ASSOC [1] → #29 DATA [2] → #30 DATA[0] → #31012Region  #33#33 Region Type not computed [0] → — DATA [1] → #21 CTRL [2] → #31 CTRL012φ_a  #34#34 φ_a Type not computed [0] → #33 ASSOC [1] → #22 DATA [2] → #32 DATA[0] → #33012Return  #35#35 Return Type not computed [0] → #33 CTRL [1] → #34 DATA01If  #9If · 18 nodes−Fold regionIf  #15If · 6 nodes−Fold regionIf  #25If · 6 nodes−Fold region