anchor.diff:                              (
                                   complexRules.Keys
                                   |> Seq.map (fun x -> x, emptyMatrixOfSize (stringSize + 1))
  -                            ) 
  -
  +                            )                                                        
   
           let addProbToMatrix (matrix: Map<_, double [,]>) row column nontermProb = 
               let key, prob = nontermProb
  
positive.code: 
  
          for i in 1..matrixSizeExponent do
              printfn "layer %d:" i
              completeLayer i
  
  
  
  
negative.code:         SubMatrix.print task.from1
          printf "from2: "
          SubMatrix.print task.from2
          printfn ""         
  
  
  
      // only for str size == 2^k-1
  