     { } { } <#data-shuffle> ;
 
 TUPLE: #terminate < node in-d in-r ;
-
-: <#terminate> ( in-d in-r -- node )
-    #terminate new
-        swap >>in-r
-        swap >>in-d ;
 
 TUPLE: #branch < node in-d children live-branches ;
 

M: vector #enter-recursive, <#enter-recursive> node, ;
M: vector #return-recursive, <#return-recursive> node, ;
M: vector #call-recursive, <#call-recursive> node, ;
M: vector #terminate, <#terminate> node, ;
M: vector #if, <#if> node, ;
M: vector #dispatch, <#dispatch> node, ;
M: vector #phi, <#phi> node, ;

M: vector #alien-invoke, #alien-invoke boa node, ;
M: vector #alien-indirect, #alien-indirect boa node, ;
M: vector #alien-assembly, #alien-assembly boa node, ;
M: vector #alien-callback, #alien-callback boa node, ;
