# define tNULL -1
# define LET 260
# define FOR 261
# define IN 262
# define IMPLICATION 263
# define OF 264
# define IDENTIFIER 265
# define SPECIAL 266
# define tspecification -2
# define tobject -3
# define tdefinition -4
# define ttest_case_block -5
# define tidentifier_declaration -6
# define tset_declaration_list -7
# define ttest_case -8
# define tlocal_definition_list -9
# define ttest_case_list -10
# define tlocal_definition -11
# define tmatrix -12
# define tidentifier_decl -13
# define toperation_identifier -14
# define tsort_identifier -15
# define tassertion -16
# define tpremisses -17
# define tsimple_equation -18
# define tvalue_expression -19
# define tset_declaration -20
# define tvalue_expression_list -21
# define tidentifier -22
# define tpremiss -23
# define tterm_expression -24
# define tidentifier_declaration_list -25
