anchor.diff:  
       
       let rec reduce state (p: AbstractStack) = 
  -
  +        
           let isReadyForReduce state (p: AbstractStack)  = 
               match (actionKind (tables.action state)) = reduceFlag with
                   | true -> 
  
positive.code:             let Result = new HashSet<AbstractStack>()
              for p'' in P do 
                  Result.UnionWith (reduce state p'')
  
              Result
     
      use file = new StreamWriter("WorklistLog.txt")
  
negative.code:                 let P = new HashSet<AbstractStack>()
                  let CalcContE = compute c p.topState E
                  for p' in CalcContE do
                      P.Add(p + p') |> ignore
                  P
  
              let CalcE1 = compute c state E1
  