#1[1] → #6 · ASSOC · 0: arg#5[0] → #4 · CTRL#5[1] → #6 · DATAScope  #1#1 Scope Type not computed [0] → — ASSOC 0: $ctrl [1] → #6 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 CTRLReturn  #5#5 Return Type not computed [0] → #4 CTRL [1] → #6 DATA01arg  #6/1#6 arg Projection 1 of #2 Type not computed [0] → #2 DATA