anchor.diff:  fiile : (funcDecl | varDecl)+ EOF?
        ;
   
  -varDecl : type ID ('=' expr)? ';'
  +varDecl : tyype ID ('=' expr)? ';'
           ;
   
   tyype : TYPEINT                                  
  
positive.code:      | expr op=('<' | '>' | '<=' | '>=') expr    
       | expr op=('*' | '/') expr                  
       | expr op=('+' | '-') expr                  
       | expr op=("&&"|"||") expr                  
       | expr op=("=="|"!=") expr                 
       | ID                                        
       | INT                                       
       | FLOAT                                     
  
negative.code:      | TYPEBOOLEAN                               
       ;
  
  funcDecl : tyype ID '(' paramTypeList? ')' block
           ;
  
  paramTypeList : paramType (',' paramType)*
  