anchor.diff:  COMMA
   :','
   ;
  -
  -
  +UNIFORM
  +:'uniform('INT','INT')'
  +;
   
   booleanNegationExpression
   : (NOT^)* constantValue
  +//: (NOT^)*  (LPARA!)* relationalExpression (RPARA!)*
   ;
     
   always_statement
  -: ALWAYS^  SEMICOL!
  +: ALWAYS^  LCURL! (statement)* RCURL!  //SEMICOL!
   ;
   signExpression
   :(PLUS^|MINUS^)*  booleanNegationExpression
  +//:(PLUS^|MINUS^)* constantValue
   ;
   multiplyingExpression
     : signExpression ((MULT^|DIV^|MOD^) signExpression)*
     ;
   
  +
  +
   addingExpression
     : multiplyingExpression ((PLUS^|MINUS^) multiplyingExpression)*
     ;
  
positive.code: 	|assertUntil_statement
  	|always_statement
  	|assertStable_statement
    ; 
  	
  //assignment
  //	: variable EQUAL^ expression
  //	;
  	
  //variable
  	//: ID
  //	;
  
negative.code: 
  @header {
    package lpn.parser.properties;
    //import lpn.parser.LhpnFile;
    //package antlrPackage;
  }
  
  @lexer::header { 
  