#20[1] → #4 · DATA#20[2] → #19 · DATA#37[1] → #20 · DATA#37[2] → #4 · DATA#42[1] → #37 · DATA#42[2] → #4 · DATA#49[1] → #46 · DATA#49[2] → #48 · DATA#50[1] → #42 · DATA#50[2] → #49 · DATA#51[1] → #50 · DATAStart  #2#2 Start Type not computed arg  #4/1#4 arg Projection 1 of #2 Type not computed [0] → #2 DATA#2  #19#19 #2 Type not computed *  #20#20 * Type not computed [0] → — DATA [1] → #4 DATA [2] → #19 DATA012φ_b  #37#37 φ_b Type not computed [0] → — ASSOC [1] → #20 DATA [2] → #4 DATA012+  #42#42 + Type not computed [0] → — DATA [1] → #37 DATA [2] → #4 DATA012#4  #46#46 #4 Type not computed #5  #48#48 #5 Type not computed φ_ab  #49#49 φ_ab Type not computed [0] → — ASSOC [1] → #46 DATA [2] → #48 DATA012+  #50#50 + Type not computed [0] → — DATA [1] → #42 DATA [2] → #49 DATA012Return  #51#51 Return Type not computed [0] → — CTRL [1] → #50 DATA01