anchor.diff:                  let count1 = left.Count
                   let count2 = right.Count
   
  -                if (count1 > 0) && (count2 > 0)
  +                if count1 > 0 && count2 > 0
                   then
                       for m in 0..(count1 - 1) do
                           for n in 0..(count2 - 1) do
  
positive.code:                         trackLabel rightI rightL right  true
                  | None -> ()
              | None ->
                  if flag && (lbl <> noLbl)
                  then print curL leftI rightL leftL
              
      let labelTracking lastInd = 
          let i,l = 0,(lastInd)
          ResizeArray.iteri (fun k x ->
                      let out = "derivation #" + k.ToString()
                      printfn "%s" out
                      trackLabel i l x false
          ) recTable.[i, l]
  
negative.code:         rules
          |> Array.iteri 
              (fun ruleIndex rule ->
                  for k in 0..(s.Length-1) do
                      let a,b,c,rl,rw = getRule rule               
                      match c with
                      |0us -> if b = s.[k] then
                                  let lState =
  