anchor.diff: -#light 
  +﻿#light 
   #nowarn "40"
   open IL
   open Production
  
positive.code:               | [] -> buf,[]
          let (red,n_tree) = to_Label (if tree<>[] then kill_label tree else tree)  []     
          Label::(Node(red,item.prod_name,[item.prod_name]))::n_tree
      let tree2 item tree = ((Leaf(text,[text]))::(function (Label::tree)-> tree| x-> x) tree)
      let new_states = Set.filter (fun (item,tree) -> (item.next_num=None))states
      let result_states states _tree = Set.map (fun (item,tree) -> (item,(_tree item tree))) states
      union_all
  
negative.code:    let r = res ()
     printfn "Result : %A" r;
     printfn "End time: %A Total: %A" System.DateTime.Now (System.DateTime.Now - (!start_time));
     ignore(System.Console.ReadLine())
  