anchor.diff:  lexer grammar ResolveLexer;
  +
  +ABS
  +    :   'abs'
  +    ;
   
   ALL
       :   'all'
  
positive.code:     ;
  
  IF
      :   'if'
      ;
  
  IMPLICIT
  
negative.code:     :   'Array'
      ;
  
  AUX_CODE
      :   'Aux_Code'
      ;
  
  AUX_VAR
      :   'Aux_Var'
      ;
  
  AUXILIARY
      :   'Aux'
      |   'Auxiliary'
      ;
  
  AXIOM
      :   'Axiom'
      ;
  