anchor.diff:  //  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
  
positive.code: 
  //--Функция которая удаляет правила в правиле------------------------------------------------------
  
  let newRuleForRuleInRule (ruleList: Rule.t<_, _> list) = 
  
  //--Функция для удаления эпсилон-правил------------------------------------------------------------
  
  
negative.code: let toCNF (ruleList: Rule.t<_, _> list) = 
      let cnf (rules: Rule.t<_, _> list) = rules
      ruleList
      |> reductionRule
      |> deleteEpsRule
      |> deleteChainRule
      |> cnf
  