#6[0] → #1 · ASSOC#7[1] → #3 · MEM#7[2] → #5 · DATA#7[3] → #6 · DATA#8[1] → #3 · MEM#8[2] → #5 · DATA#8[3] → #6 · DATA#13[0] → #1 · ASSOC#14[0] → #11 · CTRL#14[1] → #7 · MEM#14[2] → #5 · DATA#14[3] → #13 · DATA#15[0] → #1 · ASSOC#16[0] → #12 · CTRL#16[1] → #7 · MEM#16[2] → #5 · DATA#16[3] → #15 · DATA#20[1] → #14 · MEM#20[2] → #16 · MEM#22[1] → #3 · MEM#22[2] → #20 · MEM#22[3] → #8 · MEM#23[1] → #22 · MEM#23[2] → #5 · DATAStart  #1#1 Start Type not computed $mem  #3/1#3 $mem Projection 1 of #1 Type not computed [0] → #1 MEMnew Point  #5#5 new Point Type not computed [0] → — CTRL0#0  #6#6 #0 Type not computed [0] → #1 ASSOC0Store p.x  #7MEM#2#7 Store p.x MEM#2 [0] → — CTRL [1] → #3 MEM [2] → #5 DATA [3] → #6 DATA0123Store p.y  #8MEM#3#8 Store p.y MEM#3 [0] → — CTRL [1] → #3 MEM [2] → #5 DATA [3] → #6 DATA0123True  #11/0#11 True Projection 0 of #0 Type not computed False  #12/1#12 False Projection 1 of #0 Type not computed #3  #13#13 #3 Type not computed [0] → #1 ASSOC0Store p.x  #14MEM#2#14 Store p.x MEM#2 [0] → #11 CTRL [1] → #7 MEM [2] → #5 DATA [3] → #13 DATA0123#4  #15#15 #4 Type not computed [0] → #1 ASSOC0Store p.x  #16MEM#2#16 Store p.x MEM#2 [0] → #12 CTRL [1] → #7 MEM [2] → #5 DATA [3] → #15 DATA0123MemPhi x  #20MEM#2#20 MemPhi x MEM#2 [0] → — ASSOC [1] → #14 MEM [2] → #16 MEM012MemMerge  #22#22 MemMerge Type not computed [0] → — CTRL [1] → #3 MEM [2] → #20 MEM [3] → #8 MEM0123Return  #23#23 Return Type not computed [0] → — CTRL [1] → #22 MEM [2] → #5 DATA012