#1[0] → #11 · ASSOC · 0: $ctrl#1[1] → #10 · ASSOC · 0: arg#1[2] → #14 · ASSOC · 1: a#4[0] → #12 · ASSOC · 0: $ctrl#4[1] → #10 · ASSOC · 0: arg#4[2] → #16 · ASSOC · 1: a#8[1] → #10 · DATA#8[2] → #7 · DATA#9[0] → #6 · CTRL#9[1] → #8 · DATA#14[1] → #10 · DATA#14[2] → #13 · DATA#16[1] → #10 · DATA#16[2] → #15 · DATAScope  #1#1 Scope Type not computed [0] → #11 ASSOC 0: $ctrl [1] → #10 ASSOC 0: arg [2] → #14 ASSOC 1: a0: $ctrl0: arg1: a012Start  #2#2 Start Type not computed Scope  #4#4 Scope Type not computed [0] → #12 ASSOC 0: $ctrl [1] → #10 ASSOC 0: arg [2] → #16 ASSOC 1: a0: $ctrl0: arg1: a012$ctrl  #6/0#6 $ctrl Projection 0 of #2 Type not computed [0] → #2 CTRL#1  #7#7 #1 Type not computed ==  #8#8 == Type not computed [0] → — DATA [1] → #10 DATA [2] → #7 DATA012If  #9#9 If Type not computed [0] → #6 CTRL [1] → #8 DATA01arg  #10/1#10 arg Projection 1 of #2 Type not computed [0] → #2 DATATrue  #11/0#11 True Projection 0 of #9 Type not computed [0] → #9 CTRLFalse  #12/1#12 False Projection 1 of #9 Type not computed [0] → #9 CTRL#2  #13#13 #2 Type not computed +  #14#14 + Type not computed [0] → — DATA [1] → #10 DATA [2] → #13 DATA012#3  #15#15 #3 Type not computed -  #16#16 - Type not computed [0] → — DATA [1] → #10 DATA [2] → #15 DATA012