anchor.diff:  
               if m1 - l1 = 1 && m1 = l2 then
                   let currentChar = strToParse.[l1]
  -                let nonTerms = allRules.HeadBySimpleTail currentChar
  +                let nonTerms = allRules.HeadsBySimpleTail currentChar
   
                   nonTerms
                   |> List.iter (updateTMatrixCell l1 (l1 + 1))
  
positive.code:             Array2D.init aHight (bUpperBound - bl2) calcCell                    
                                      
          let completeP where from1 from2 = 
              let completeOnePair (nt1, nt2) =
                      addToP (nt1, nt2) (subMatrixMult tMatrix.[nt1] tMatrix.[nt2] from1 from2) where
              pMatrix |> Map.iter (fun nts _ -> completeOnePair nts)
  
negative.code:                             completeT e  
  
          compute 0 (roundedSize + 1) |> ignore
          
          printfn "okhotin mult count: %i" !multiplicationCounter
          multiplicationCounter := 0
          tMatrix.Item S