Changes

Line 652: Line 652:       −
|D/empty -> E, G = * Choice node
+
|D/empty -> E, G = * Active Branching
    
|E -> G =  
 
|E -> G =