anchor.diff:              else
                   let halfMatricesSize = int(matricesSize / 2)
                   let zeroSubLayer = layer |> Array.map (fun (matrix: SubMatrix.T) -> matrix.BottomMatrix)                   
  -                completeLayer zeroSubLayer halfMatricesSize
  -                completeVLayer layer matricesSize
  -
  -        and completeVLayer layer matricesSize =
  +                completeLayer zeroSubLayer
  +                completeVLayer layer
  +
  +        and completeVLayer layer =
  +            let matricesSize = layer.[0].Size
               let halfMatricesSize = int(matricesSize / 2)
               let reducedLayer = 
                   if snd layer.[Array.length layer - 1].Top > stringSize + 1 
  
positive.code:     
          // bottom-left triangle and diagonal of tMatrixes and pMatrixes are not used
          // upper-right triangle of size (stringSize - maxSearchLength) is not used
          let tMatrix = new Map<NonTerminal, double [,]>
                              (
                                  nonterminals 
  
negative.code:                         
                      performMultiplication secondMultTasks
                      performMultiplication thirdMultTasks       
                      completeLayer secondSubLayer
  
  
          and constructLayer layerNum = 
  