#1[1] → #5 · ASSOC · 0: arg#6[0] → #4 · CTRL#6[1] → #5 · 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 CTRL2  #5#5 2 Type not computed Return  #6#6 Return Type not computed [0] → #4 CTRL [1] → #5 DATA01