let yytransl_const = [|
  257 (* PROMELA_OR *);
  258 (* PROMELA_AND *);
  259 (* PROMELA_NOT *);
  260 (* PROMELA_TRUE *);
  261 (* PROMELA_FALSE *);
  262 (* PROMELA_NEVER *);
  263 (* PROMELA_IF *);
  264 (* PROMELA_FI *);
  265 (* PROMELA_GOTO *);
  266 (* PROMELA_SKIP *);
  268 (* PROMELA_COLON *);
  269 (* PROMELA_SEMICOLON *);
  270 (* PROMELA_DOUBLE_COLON *);
  271 (* PROMELA_LBRACE *);
  272 (* PROMELA_RBRACE *);
  273 (* PROMELA_LPAREN *);
  274 (* PROMELA_RPAREN *);
  275 (* PROMELA_RIGHT_ARROW *);
    0 (* EOF *);
    0|]