anchor.diff:              
       let labelTracking lastInd = 
           let i,l = 0,lastInd
  -        let startIndex = ( i * rowSize + l - calcDiff i ) * nTermsCount
  +        let startIndex = ( l * rowSize + i - calcDiff l ) * nTermsCount // ( i * rowSize + l - calcDiff i ) * nTermsCount
           for ind in startIndex..startIndex + nTermsCount - 1 do
               recTable.[ind] 
               |> Option.iter(fun x ->
  
positive.code:                     else checkIndex start index tryFind ruleCheck
                  | None -> checkIndex start index tryFind ruleCheck
  
              let startLeft = ( leftI * rowSize + leftL - calcDiff leftI ) * nTermsCount
              let left = tryFind startLeft startLeft rule.R1
  
              let startRight = ( rightI * rowSize + rightL - calcDiff rightI ) * nTermsCount
              let right = tryFind startRight startRight rule.R2
                  
              match right with
  
negative.code:           [|1..rowSize - 1|]
            |> Array.iter (fun len ->
                  [|0..rowSize - 1 - len|] // for start = 0 to nWords - length in parallel
                  |> Array(*.Parallel*).iter (fun i -> elem i len rulesIndexed))
          (*
          let fillTable2 symRuleArr = 
              [|1..rowSize - 1|]
  