anchor.diff:          SubMatrix.print task.from1
           printf "from2: "
           SubMatrix.print task.from2
  -        printfn ""        
  +        printfn ""
  +        
  +        
  +//    let multiplicationCounter = ref 0
   
   
       let recognize (strToParse: string) 
  
positive.code:                 let layerIsOutOfSearchZone = snd layer.[0].Bottom - fst layer.[0].Bottom + 1 >= maxSearchLength + 1
                  layerIsOutOfSearchZone
          
          let rec completeLayer layer matricesSize = 
              if matricesSize = 1 then
                  let headProbsFromTail (tail, tailProb) = 
                      if allRules.IsComplexTail tail then 
  
negative.code: 
          for i in 1..(layerNumBound - 1) do
              let layer = constructLayer i
              
              if Array.length layer > 0 
              then completeVLayer layer
              
  //        printfn "bfs mult count: %i" !multiplicationCounter
  //        multiplicationCounter := 0
          tMatrix.Item S