#1[1] → #5 · ASSOC · 0: arg#11[1] → #5 · DATA#11[2] → #10 · DATA#12[0] → #4 · CTRL#12[1] → #11 · DATAScope  #1#1 Scope Type not computed [0] → — ASSOC 0: $ctrl [1] → #5 ASSOC 0: arg0: $ctrl0: arg01Start  #2#2 Start Type not computed $ctrl  #4/0#4 $ctrl Projection 0 of #2 Type not computed [0] → #2 CTRLarg  #5/1#5 arg Projection 1 of #2 Type not computed [0] → #2 DATA#3  #10#10 #3 Type not computed +  #11#11 + Type not computed [0] → — DATA [1] → #5 DATA [2] → #10 DATA012Return  #12#12 Return Type not computed [0] → #4 CTRL [1] → #11 DATA01