#1[1] → #6 · MEM#1[2] → #224 · MEM#12[1] → #6 · MEM#12[2] → #9 · DATA#12[3] → #11 · DATA#14[1] → #12 · MEM#14[2] → #13 · DATA#14[3] → #4 · DATA#16[1] → #14 · MEM#16[2] → #9 · DATA#22[0] → #8 · CTRL#22[1] → #14 · MEM#22[2] → #9 · DATA#22[3] → #21 · DATA#22[4] → #16 · DATA#25[1] → #1 · MEM#25[2] → #16 · DATA#224[1] → #22 · MEM#224[2] → #14 · MEMMemMerge  #1#1 MemMerge Type not computed [0] → — CTRL [1] → #6 MEM [2] → #224 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 MEMTrue  #8/0#8 True Projection 0 of #0 Type not computed new S  #9#9 new S Type not computed [0] → — CTRL0#2  #11#11 #2 Type not computed .f =  #12#12 .f = Type not computed [0] → — CTRL [1] → #6 MEM [2] → #9 DATA [3] → #11 DATA0123new S  #13#13 new S Type not computed [0] → — CTRL0.f =  #14#14 .f = Type not computed [0] → — CTRL [1] → #12 MEM [2] → #13 DATA [3] → #4 DATA0123.f  #16#16 .f Type not computed [0] → — CTRL [1] → #14 MEM [2] → #9 DATA012#1  #21#21 #1 Type not computed .f =  #22#22 .f = Type not computed [0] → #8 CTRL [1] → #14 MEM [2] → #9 DATA [3] → #21 DATA [4] → #16 DATA01234Return  #25#25 Return Type not computed [0] → — CTRL [1] → #1 MEM [2] → #16 DATA012MemPhi_2  #224#224 MemPhi_2 Type not computed [0] → — ASSOC [1] → #22 MEM [2] → #14 MEM012