anchor.diff:                  let toMult = 
                       //todo: annotation?
                       let getMults i (matrix: SubMatrix.T) =
  -                        if (i % 2) = 1
  +                        if (i % 2) = 0
                           then
                               matrix.RelativeMatrix 0 -(snd matrix.Top - fst matrix.Top - matricesSize), 
                               matrix.RelativeMatrix halfMatricesSize 0
  
positive.code:             let layer = Array.init matricesCount (fun i -> firstInLayer.RelativeMatrix (i * matricesSize) (i * matricesSize))
              layer
              
          let layerNumUpperBound = (log (double maxSearchLength + 1.)) / (log 2.) |> ceil |> int
  
          let nonTermsForChars = strToParse |> List.ofSeq |> List.map allRules.HeadsBySimpleTail
          nonTermsForChars |> List.iteri (fun i ntProbs -> updateTMatrixCell i (i + 1) ntProbs)
  
          for i in 1..(layerNumUpperBound - 1) do
              let layer = constructLayer i
              
              if Array.length layer > 0 
  
negative.code:                     completeLayer secondSubLayer
  
  
          let constructLayer layerNum = 
              let matricesSize = 1 <<< layerNum   
              let matricesCount = (double stringSize + 1.) / double(matricesSize) - 1. |> ceil |> int
  
  