anchor.diff:  let toCNF (ruleList: Rule.t<_, _> list) = 
       let cnf (rules: Rule.t<_, _> list) = rules
       ruleList
  -    |> newRuleForRuleInRule
  +    |> reductionRule
       |> deleteEpsRule
       |> deleteChainRule
       |> cnf
  
positive.code: 
  //--Функция которая удаляет правила в правиле------------------------------------------------------
  
  let newRuleForRuleInRule (ruleList: Rule.t<_, _> list) = 
  
  //--Функция для удаления эпсилон-правил------------------------------------------------------------
  
  
negative.code: //  Copyright 2011, 2012 Avdyukhin Dmitry
  //
  //  This file is part of YaccConctructor.
  //  This is war
  //
  //  YaccConstructor is free software:you can redistribute it and/or modify
  //  it under the terms of the GNU General Public License as published by
  