anchor.diff:          let resultDfaArrayCreationCodePrinter name prodCount = 
               printBrInd 0 "let %s = Array.zeroCreate %d" name prodCount
               printBrInd 0 "for i = 0 to %d do" (prodCount - 1)
  -            printBrInd 2 "%s.[i] <- Array.zeroCreate %d" name symbolsCount
  +            printBrInd 1 "%s.[i] <- Array.zeroCreate %d" name symbolsCount
               printBrInd 0 "cur <- 0"
               printBrInd 0 "while cur < small_%s.Length do" name
               printBrInd 1 "let i = small_%s.[cur] >>> 16" name
  
positive.code:         let resultReducesArrayCreationCodePrinter name = 
              printBrInd 0 "let %s = Array.zeroCreate %d" name statesCount 
              printBrInd 0 "for i = 0 to %d do" statesLim
              printBrInd 2 "%s.[i] <- Array.zeroCreate %d" name symbolsCount
  
              printBrInd 0 "cur <- 0"
              printBrInd 0 "while cur < small_%s.Length do" name
  
negative.code:             let name = "gotos"
              printBrInd 0 "let %s = Array.zeroCreate %d" name statesCount 
              printBrInd 0 "for i = 0 to %d do" statesLim
              printBrInd 1 "%s.[i] <- Array.create %d None" name symbolsCount
  
              printBrInd 0 "cur <- 0"
              printBrInd 0 "while cur < small_%s.Length do" name
  