anchor.diff:  type
     AtomType = (Terminal, NonTerminal, Matching);
   
  -  strArr = array of string;
  +  //strArr = array of string;
   
     PGmrAtom = ^RGmrAtom;
     AGmrAtom = array of PGmrAtom;
  
positive.code:           ghash.addMacro(s);
          continue;
        end;
  
        {
        success := gmrMatch.match(s);
  
negative.code:     name: string;
      next: PGmrNode;
      rhs : AGmrAtom;
      macros: strArr;
    end;
  
  
  