anchor.diff:          | '\\\\\\-'
           | '\\\\\\*'
   
  -    rule importBVI_statement: "IMPBVI"
  -
  -    rule input_ports: VAR
  -
  -    rule module_name: VAR
  -
  -    rule module_statement: "MODSTA"
  -
  -    rule port_name1: VAR
  -
  -    rule port_name2: VAR
  -
       rule provisos:
           [ "provisos" LPAREN expression (COMMA expression )* RPAREN ]
           SEMICOLON
   
  -    rule ready_port: VAR
  -
       rule return_statement:
           "return" expression SEMICOLON
  -
  -    rule rule_name: VAR
  -
  -    rule rules_name: VAR
  -
  -    rule verilog_module_name: VAR
  -
  -    rule rule_names: VAR
  -
  -    rule list_rule_names: "LRN"
   
       rule attribute:
           "synthesize"
           | "RST_N"  EQUAL STR
           | "CLK"  EQUAL STR
  -        | "always_ready" [ EQUAL interface_method ]
  -        | "always_enabled" [ EQUAL interface_method ]
  +        | "always_ready" [ EQUAL VAR ]
  +        | "always_enabled" [ EQUAL VAR ]
           | "descending_urgency" EQUAL expression
  -        | "preempts" [ EQUAL ] LBRACE rule_names COMMA  LPAREN list_rule_names RPAREN RBRACE
  +        | "preempts" [ EQUAL ] LBRACE VAR COMMA  LPAREN VAR RPAREN RBRACE
           | "doc" EQUAL STR
           | "ready" EQUAL STR
           | "enable" EQUAL STR
  
positive.code: 
  ###########jca
  
      rule interface_method: VAR
  
      rule Package_name: VAR
  
      rule Return_type: VAR
  
      rule Type: VAR
  
      rule action_name: VAR
  
      rule c_function_name: VAR
  
      rule clock_name: VAR
  
      rule enable: VAR
  
      rule enable_port: VAR
  
      rule expression: expr<<[]>>
  
      rule function_name: VAR
  
negative.code:     token HASH: "#"
      token DOT: r"[\\.]"
      token COMMA: ','
      token AMPER: '&' token AMPERAMPER: "&&"
      token BAR: "\\|" token BARBAR: "\\|\\|"
      token COLON: ':' token COLONCOLON: "::" token SEMICOLON: ';'
  