#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#9[1] → #7 · MEM#9[2] → #5 · DATA#10[1] → #7 · MEM#10[2] → #5 · DATA#10[3] → #4 · DATA#11[1] → #8 · MEM#11[2] → #5 · DATA#11[3] → #4 · DATA#12[1] → #3 · MEM#12[2] → #10 · MEM#12[3] → #11 · MEM#13[1] → #12 · MEM#13[2] → #9 · DATAStart #1#1 Start
Type not computed
$mem #3/1#3 $mem
Projection 1 of #1
Type not computed
[0] → #1 MEMarg #4/2#4 arg
Projection 2 of #1
Type not computed
[0] → #1 DATAnew 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 DATA0123Load p.x #9#9 Load p.x
Type not computed
[0] → — CTRL
[1] → #7 MEM
[2] → #5 DATA
[3] → — DATA0123Store p.x #10MEM#2#10 Store p.x
MEM#2
[0] → — CTRL
[1] → #7 MEM
[2] → #5 DATA
[3] → #4 DATA0123Store p.y #11MEM#3#11 Store p.y
MEM#3
[0] → — CTRL
[1] → #8 MEM
[2] → #5 DATA
[3] → #4 DATA0123MemMerge #12#12 MemMerge
Type not computed
[0] → — CTRL
[1] → #3 MEM
[2] → #10 MEM
[3] → #11 MEM0123Return #13#13 Return
Type not computed
[0] → — CTRL
[1] → #12 MEM
[2] → #9 DATA012