# define tNULL -1
# define NOTHING 260
# define tlbm -2
# define tannotation_list -3
# define tBUT_definition_list -4
# define tBUT_definition -5
# define tlet_exp -6
# define tvar_choice_exp -7
# define tgate_choice_exp -8
# define tpar_exp_full_synch -9
# define tpar_exp_inter -10
# define tpar_exp_expli -11
# define thiding_exp -12
# define tenable_exp -13
# define tdisable_exp -14
# define tparallel_full_synch -15
# define tparallel_interleaving -16
# define tparallel_explicit -17
# define tchoice_exp -18
# define tguard_exp -19
# define texternal_offer -20
# define tinternal_action -21
# define tstop_exp -22
# define texit_exp -23
# define tBUT_instantiation -24
# define trelabel -25
# define tcall -26
# define tident_equation_list -27
# define tvar_domain_list -28
# define tgate_domain_list -29
# define tvalue_exp -30
# define texperiment_list -31
# define tpredicate -32
# define texit_offer_list -33
# define tvalue_exp_list -34
# define tvar_id -35
# define tgate_domain -36
# define tident_equation -37
# define tannotation -38
# define tsort_id -39
