anchor.diff:  	language  = "Python";
   }
   
  +
   class atermLexer extends Lexer;
   
   tokens {
  
positive.code: header {
  }
  
  header "atermParser.__main__" {
      from aterm import Factory
  
negative.code: 		)
  	;
  
  CONS
  	: ('A'..'Z') ('a'..'z'|'A'..'Z'|'0'..'9'|'_')* 
  	;
  
  VAR
  	: ('a'..'z') ('a'..'z'|'A'..'Z'|'0'..'9'|'_')* 
  	;
  
  WILDCARD: '_';
  
  LPAREN: '(';
  RPAREN: ')';
  
  LSQUARE: '[';
  RSQUARE: ']';
  
  COMMA: ',';
  
  STAR	: '*';
  
  LCURLY: '{';
  RCURLY: '}';
  
  
  class atermParser extends Parser;
  
  