anchor.diff:                  |LblState.Conflict -> "conflict"
                   |_ -> ""
   
  -            String.concat " " [stateString; string lbl; string weight]
  +            String.concat " " [stateString; ":"; "label ="; lblString lbl; "weight ="; string weight]
               
           let rec out i last = 
               if i <= last
  
positive.code:     let lblString lbl = 
          match lblNameArr with
          | [||] -> "0" 
          | _ -> lblNameArr.[lbl]
  
      // возвращает нетерминал A правила A->BC, правило из i-го элемента массива указанной ячейки
      let getCellRuleTop (cellContent:ResizeArray<CellData>) i =
  
negative.code:         out 0 lastIndex
  
      let print lblValue weight leftI rightL leftL =
          let out = String.concat " " ["label ="; lblString lblValue; "weight ="; string weight; 
                      "left ="; string leftI; "right ="; string (leftI+rightL+leftL+1)]
          printfn "%s" out
  
      let rec trackLabel i l (cell:CellData)  flag =
  