#1[1] → #6 · MEM#1[2] → #230 · MEM#10[1] → #6 · MEM#10[2] → #9 · DATA#10[3] → #4 · DATA#21[1] → #7 · DATA#21[2] → #22 · DATA#31[1] → #230 · MEM#31[2] → #9 · DATA#31[3] → #21 · DATA#37[1] → #1 · MEM#37[2] → #9 · DATA#230[1] → #10 · MEM#230[2] → #233 · MEM#233[1] → #31 · MEM#233[2] → #230 · MEMMemMerge  #1#1 MemMerge Type not computed [0] → — CTRL [1] → #6 MEM [2] → #230 MEM012Start  #2#2 Start Type not computed #0  #4#4 #0 Type not computed $mem  #6/1#6 $mem Projection 1 of #2 Type not computed [0] → #2 MEMarg  #7/2#7 arg Projection 2 of #2 Type not computed [0] → #2 DATAnew S  #9#9 new S Type not computed [0] → — CTRL0.f =  #10#10 .f = Type not computed [0] → — CTRL [1] → #6 MEM [2] → #9 DATA [3] → #4 DATA0123//  #21#21 // Type not computed [0] → — CTRL [1] → #7 DATA [2] → #22 DATA012#3  #22#22 #3 Type not computed .f =  #31#31 .f = Type not computed [0] → — CTRL [1] → #230 MEM [2] → #9 DATA [3] → #21 DATA0123Return  #37#37 Return Type not computed [0] → — CTRL [1] → #1 MEM [2] → #9 DATA012MemPhi_2  #230#230 MemPhi_2 Type not computed [0] → — ASSOC [1] → #10 MEM [2] → #233 MEM012MemPhi_2  #233#233 MemPhi_2 Type not computed [0] → — ASSOC [1] → #31 MEM [2] → #230 MEM012