let yytransl_block = [|
  302 (* IDENT *);
  303 (* STRING *);
  304 (* INTCONST *);
  305 (* RATCONST *);
  306 (* PROPVAR *);
  336 (* BVCONST *);
  337 (* FRESH *);
  338 (* FREE *);
    0|]