[aorai] remove unused tokens in yaparser

src/plugins/aorai/yaparser.mly

@@ -145,7 +145,7 @@ type pre_cond = Behavior of string | Pre of Promelaast.condition
 %token NOT DOT AMP
 %token COLON SEMI_COLON COMMA PIPE CARET QUESTION COLUMNCOLUMN
 %token EQ LT GT LE GE NEQ PLUS MINUS SLASH STAR PERCENT OR AND
-%token INIT ACCEPT DETERMINISTIC METAVAR
+%token INIT ACCEPT DETERMINISTIC
 %token OTHERWISE
 %token EOF