#define x_given x_slot[0]
#define x_axdef x_slot[0]
#define x_heading x_slot[0]
#define x_schema_body x_slot[1]
#define x_lhs x_slot[0]
#define x_rhs x_slot[1]
#define x_pred x_slot[0]
#define x_def_params x_slot[0]
#define x_def_body x_slot[1]
#define x_args x_slot[0]
#define x_tag x_slot[0]
#define x_params x_slot[1]
#define x_template x_slot[1]
#define x_decls x_slot[0]
#define x_axioms x_slot[1]
#define x_text x_slot[0]
#define x_sref_tag x_slot[0]
#define x_sref_decor x_slot[1]
#define x_sref_params x_slot[2]
#define x_sref_renames x_slot[3]
#define x_sref_line x_slot[4]
#define x_rename_to x_slot[0]
#define x_rename_from x_slot[1]
#define x_decl_names x_slot[0]
#define x_decl_expr x_slot[1]
#define x_ref x_slot[0]
#define x_op x_slot[0]
#define x_rand1 x_slot[1]
#define x_rand2 x_slot[2]
#define x_rand x_slot[1]
#define x_defs x_slot[0]
#define x_body x_slot[1]
#define x_ref_line x_slot[2]
#define x_number x_slot[0]
#define x_elements x_slot[0]
#define x_factors x_slot[0]
#define x_the_name x_slot[0]
#define x_the_decor x_slot[1]
#define x_the_rename x_slot[2]
#define x_arg x_slot[0]
#define x_field x_slot[1]
#define x_param1 x_slot[1]
#define x_param2 x_slot[2]
#define x_param x_slot[1]
#define x_if x_slot[0]
#define x_then x_slot[1]
#define x_else x_slot[2]
#define x_arg1 x_slot[0]
#define x_arg2 x_slot[1]
#define x_bvar x_slot[0]
