main stxtree = ConsNode__state DUMP OF TREE ROOT NODE cn_hd_field = BlDenotationNode__state cn_tl_field = null Unique Id = 314 END DUMP OF TREE ROOT NODE DUMP OF TREE Begin Subtree ConsNode__state Begin Subtree BlDenotationNode__state kind = 11 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 310 Begin Subtree ListHeaderNode__state kind = 0 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 195 lh_first = null lh_last = null End Subtree ListHeaderNode__state Begin Subtree ListHeaderNode__state kind = 0 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 308 Begin Subtree ConsNode__state Begin Subtree ConsNode__state Begin Subtree LoopDenotationNode__state kind = 29 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 303 Begin Subtree ListHeaderNode__state kind = 0 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 301 Begin Subtree ConsNode__state Begin Subtree GuardedElementNode__state kind = 30 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 300 Begin Subtree ConsNode__state Begin Subtree ApplicationNode__state kind = 13 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 256 Begin Subtree BlDenotationNode__state kind = 11 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 242 Begin Subtree ListHeaderNode__state kind = 0 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 241 lh_first = null lh_last = null End Subtree ListHeaderNode__state Begin Subtree ListHeaderNode__state kind = 0 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 211 Begin Subtree ConsNode__state Begin Subtree ConsNode__state Begin Subtree ApplicationNode__state kind = 13 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 208 Begin Subtree LetterId__state kind = 32 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 196 signature = null sig_done = null sel_type = null id_str_table_index = 0 id_use_list = null id_last_definition = null id_def_found = null sel_index = null id_appl = null id_forward_ref = null End Subtree LetterId__state Begin Subtree ListHeaderNode__state kind = 0 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 204 Begin Subtree ConsNode__state Begin Subtree ConsNode__state Begin Subtree QStrNode__state kind = 33 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 199 signature = Factorial of? sig_done = null sel_type = null str_string = null str_use_list = null str_expansion = null End Subtree QStrNode__state cn_tl_field = null Unique Id = 203 End Subtree ConsNode__state cn_tl_field = null Unique Id = 205 End Subtree ConsNode__state End Subtree already visited ConsNode__state cn_hd_field = ConsNode__state cn_tl_field = null Unique Id = 205 End Subtree already visited ConsNode__state End Subtree ListHeaderNode__state ap_operator = null ap_args = null ap_void_decl = null End Subtree ApplicationNode__state cn_tl_field = null Unique Id = 210 End Subtree ConsNode__state Begin Subtree ConsNode__state Begin Subtree ConsNode__state Begin Subtree ApplicationNode__state kind = 13 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 237 Begin Subtree LetterId__state kind = 32 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 213 signature = null sig_done = null sel_type = null id_str_table_index = 0 id_use_list = null id_last_definition = null id_def_found = null sel_index = null id_appl = null id_forward_ref = null End Subtree LetterId__state Begin Subtree ListHeaderNode__state kind = 0 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 235 Begin Subtree ConsNode__state Begin Subtree ApplicationNode__state kind = 13 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 234 Begin Subtree OpridNode__state kind = 31 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 216 signature = null sig_done = null sel_type = null id_str_table_index = 0 id_use_list = null id_last_definition = null id_def_found = null sel_index = null id_appl = null id_forward_ref = null End Subtree OpridNode__state Begin Subtree ListHeaderNode__state kind = 0 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 232 Begin Subtree ConsNode__state Begin Subtree ApplicationNode__state kind = 13 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 231 Begin Subtree LetterId__state kind = 32 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 218 signature = null sig_done = null sel_type = null id_str_table_index = 0 id_use_list = null id_last_definition = null id_def_found = null sel_index = null id_appl = null id_forward_ref = null End Subtree LetterId__state Begin Subtree ListHeaderNode__state kind = 0 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 225 Begin Subtree ConsNode__state Begin Subtree ConsNode__state Begin Subtree LetterId__state kind = 32 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 220 signature = null sig_done = null sel_type = null id_str_table_index = null id_use_list = null id_last_definition = null id_def_found = null sel_index = null id_appl = null id_forward_ref = null End Subtree LetterId__state cn_tl_field = null Unique Id = 224 End Subtree ConsNode__state cn_tl_field = null Unique Id = 226 End Subtree ConsNode__state End Subtree already visited ConsNode__state cn_hd_field = ConsNode__state cn_tl_field = null Unique Id = 226 End Subtree already visited ConsNode__state End Subtree ListHeaderNode__state ap_operator = null ap_args = null ap_void_decl = null End Subtree ApplicationNode__state cn_tl_field = null Unique Id = 233 End Subtree ConsNode__state End Subtree already visited ConsNode__state cn_hd_field = ApplicationNode__state cn_tl_field = null Unique Id = 233 End Subtree already visited ConsNode__state End Subtree ListHeaderNode__state ap_operator = null ap_args = null ap_void_decl = null End Subtree ApplicationNode__state cn_tl_field = null Unique Id = 236 End Subtree ConsNode__state End Subtree already visited ConsNode__state cn_hd_field = ApplicationNode__state cn_tl_field = null Unique Id = 236 End Subtree already visited ConsNode__state End Subtree ListHeaderNode__state ap_operator = null ap_args = null ap_void_decl = null End Subtree ApplicationNode__state cn_tl_field = null Unique Id = 239 End Subtree ConsNode__state cn_tl_field = null Unique Id = 240 End Subtree ConsNode__state Unique Id = 212 End Subtree ConsNode__state End Subtree already visited ConsNode__state cn_hd_field = ConsNode__state cn_tl_field = null Unique Id = 240 End Subtree already visited ConsNode__state End Subtree ListHeaderNode__state ar_size = null ar_static_link = null ar_static_level = null bld_declaration_list = null bld_den_seq = null bld_precedence = 0 bld_flags = 0 End Subtree BlDenotationNode__state Begin Subtree ListHeaderNode__state kind = 0 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 254 Begin Subtree ConsNode__state Begin Subtree ApplicationNode__state kind = 13 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 253 Begin Subtree OpridNode__state kind = 31 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 245 signature = null sig_done = null sel_type = null id_str_table_index = 0 id_use_list = null id_last_definition = null id_def_found = null sel_index = null id_appl = null id_forward_ref = null End Subtree OpridNode__state Begin Subtree ListHeaderNode__state kind = 0 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 251 Begin Subtree ConsNode__state Begin Subtree UQStrNode__state kind = 34 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 247 signature = 0 sig_done = null sel_type = null str_string = null str_use_list = null str_expansion = null End Subtree UQStrNode__state cn_tl_field = null Unique Id = 252 End Subtree ConsNode__state End Subtree already visited ConsNode__state cn_hd_field = UQStrNode__state cn_tl_field = null Unique Id = 252 End Subtree already visited ConsNode__state End Subtree ListHeaderNode__state ap_operator = null ap_args = null ap_void_decl = null End Subtree ApplicationNode__state cn_tl_field = null Unique Id = 255 End Subtree ConsNode__state End Subtree already visited ConsNode__state cn_hd_field = ApplicationNode__state cn_tl_field = null Unique Id = 255 End Subtree already visited ConsNode__state End Subtree ListHeaderNode__state ap_operator = null ap_args = null ap_void_decl = null End Subtree ApplicationNode__state cn_tl_field = null Unique Id = 258 End Subtree ConsNode__state Begin Subtree BlDenotationNode__state kind = 11 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 299 Begin Subtree ListHeaderNode__state kind = 0 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 298 lh_first = null lh_last = null End Subtree ListHeaderNode__state Begin Subtree ListHeaderNode__state kind = 0 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 280 Begin Subtree ConsNode__state Begin Subtree ConsNode__state Begin Subtree ApplicationNode__state kind = 13 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 277 Begin Subtree LetterId__state kind = 32 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 259 signature = null sig_done = null sel_type = null id_str_table_index = 0 id_use_list = null id_last_definition = null id_def_found = null sel_index = null id_appl = null id_forward_ref = null End Subtree LetterId__state Begin Subtree ListHeaderNode__state kind = 0 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 273 Begin Subtree ConsNode__state Begin Subtree ConsNode__state Begin Subtree ApplicationNode__state kind = 13 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 270 Begin Subtree LetterId__state kind = 32 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 262 signature = null sig_done = null sel_type = null id_str_table_index = 0 id_use_list = null id_last_definition = null id_def_found = null sel_index = null id_appl = null id_forward_ref = null End Subtree LetterId__state Begin Subtree ListHeaderNode__state kind = 0 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 268 Begin Subtree ConsNode__state Begin Subtree OpridNode__state kind = 31 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 265 signature = null sig_done = null sel_type = null id_str_table_index = 0 id_use_list = null id_last_definition = null id_def_found = null sel_index = null id_appl = null id_forward_ref = null End Subtree OpridNode__state cn_tl_field = null Unique Id = 269 End Subtree ConsNode__state End Subtree already visited ConsNode__state cn_hd_field = OpridNode__state cn_tl_field = null Unique Id = 269 End Subtree already visited ConsNode__state End Subtree ListHeaderNode__state ap_operator = null ap_args = null ap_void_decl = null End Subtree ApplicationNode__state cn_tl_field = null Unique Id = 272 End Subtree ConsNode__state cn_tl_field = null Unique Id = 274 End Subtree ConsNode__state End Subtree already visited ConsNode__state cn_hd_field = ConsNode__state cn_tl_field = null Unique Id = 274 End Subtree already visited ConsNode__state End Subtree ListHeaderNode__state ap_operator = null ap_args = null ap_void_decl = null End Subtree ApplicationNode__state cn_tl_field = null Unique Id = 279 End Subtree ConsNode__state Begin Subtree ConsNode__state Begin Subtree ConsNode__state Begin Subtree ApplicationNode__state kind = 13 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 294 Begin Subtree LetterId__state kind = 32 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 282 signature = null sig_done = null sel_type = null id_str_table_index = 0 id_use_list = null id_last_definition = null id_def_found = null sel_index = null id_appl = null id_forward_ref = null End Subtree LetterId__state Begin Subtree ListHeaderNode__state kind = 0 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 290 Begin Subtree ConsNode__state Begin Subtree ConsNode__state Begin Subtree QStrNode__state kind = 33 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 285 signature = sig_done = null sel_type = null str_string = null str_use_list = null str_expansion = null End Subtree QStrNode__state cn_tl_field = null Unique Id = 289 End Subtree ConsNode__state cn_tl_field = null Unique Id = 291 End Subtree ConsNode__state End Subtree already visited ConsNode__state cn_hd_field = ConsNode__state cn_tl_field = null Unique Id = 291 End Subtree already visited ConsNode__state End Subtree ListHeaderNode__state ap_operator = null ap_args = null ap_void_decl = null End Subtree ApplicationNode__state cn_tl_field = null Unique Id = 296 End Subtree ConsNode__state cn_tl_field = null Unique Id = 297 End Subtree ConsNode__state Unique Id = 281 End Subtree ConsNode__state End Subtree already visited ConsNode__state cn_hd_field = ConsNode__state cn_tl_field = null Unique Id = 297 End Subtree already visited ConsNode__state End Subtree ListHeaderNode__state ar_size = null ar_static_link = null ar_static_level = null bld_declaration_list = null bld_den_seq = null bld_precedence = 15 bld_flags = 0 End Subtree BlDenotationNode__state End Subtree GuardedElementNode__state cn_tl_field = null Unique Id = 302 End Subtree ConsNode__state End Subtree already visited ConsNode__state cn_hd_field = GuardedElementNode__state cn_tl_field = null Unique Id = 302 End Subtree already visited ConsNode__state End Subtree ListHeaderNode__state sig_done = null gl_list = null End Subtree LoopDenotationNode__state cn_tl_field = null Unique Id = 307 End Subtree ConsNode__state cn_tl_field = null Unique Id = 309 End Subtree ConsNode__state End Subtree already visiConsNode__state cn_hd_field = ConsNode__state cn_tl_field = null Unique Id = 309 End Subtree already visiConsNode__state End Subtree ListHeaderNode__state ar_size = null ar_static_link = null ar_static_level = null bld_declaration_list null bld_den_seq = null bld_precedence = null bld_flags = 0 End Subtree BlDenotationNode__state cn_tl_field = null Unique Id = 314 End Subtree ConsNode__state END DUMP OF TREE DUMP OF TREE AFTER FIXUP Begin Subtree ConsNode__state Begin Subtree BlDenotationNode__state kind = 11 vlineno = 1 pre_num = 1 post_num = 1 cn_hd_field = null cn_tl_field = null Unique Id = 310 Begin Subtree ListHeaderNode__state kind = 0 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 195 lh_first = null lh_last = null End Subtree ListHeaderNode__state Begin Subtree ListHeaderNode__state kind = 0 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 308 Begin Subtree ConsNode__state Begin Subtree ConsNode__state Begin Subtree LoopDenotationNode__state kind = 29 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 303 Begin Subtree ListHeaderNode__state kind = 0 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 301 Begin Subtree ConsNode__state Begin Subtree GuardedElementNode__state kind = 30 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 300 Begin Subtree ConsNode__state Begin Subtree ApplicationNode__state kind = 13 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 256 Begin Subtree BlDenotationNode__state kind = 11 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 242 Begin Subtree ListHeaderNode__state kind = 0 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 241 lh_first = null lh_last = null End Subtree ListHeaderNode__state Begin Subtree ListHeaderNode__state kind = 0 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 211 Begin Subtree ConsNode__state Begin Subtree ConsNode__state Begin Subtree ApplicationNode__state kind = 13 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 208 Begin Subtree LetterId__state kind = 32 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 196 signature = null sig_done = null sel_type = null id_str_table_index = 0 id_use_list = null id_last_definition = null id_def_found = null sel_index = null id_appl = null id_forward_ref = null End Subtree LetterId__state Begin Subtree ListHeaderNode__state kind = 0 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 204 Begin Subtree ConsNode__state Begin Subtree ConsNode__state Begin Subtree QStrNode__state kind = 33 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 199 signature = Factorial of? sig_done = null sel_type = null str_string = null str_use_list = null str_expansion = null End Subtree QStrNode__state cn_tl_field = null Unique Id = 203 End Subtree ConsNode__state cn_tl_field = null Unique Id = 205 End Subtree ConsNode__state End Subtree already visited ConsNode__state cn_hd_field = ConsNode__state cn_tl_field = null Unique Id = 205 End Subtree already visited ConsNode__state End Subtree ListHeaderNode__state ap_operator = null ap_args = null ap_void_decl = null End Subtree ApplicationNode__state cn_tl_field = null Unique Id = 210 End Subtree ConsNode__state Begin Subtree ConsNode__state Begin Subtree ConsNode__state Begin Subtree ApplicationNode__state kind = 13 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 237 Begin Subtree LetterId__state kind = 32 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 213 signature = null sig_done = null sel_type = null id_str_table_index = 0 id_use_list = null id_last_definition = null id_def_found = null sel_index = null id_appl = null id_forward_ref = null End Subtree LetterId__state Begin Subtree ListHeaderNode__state kind = 0 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 235 Begin Subtree ConsNode__state Begin Subtree ApplicationNode__state kind = 13 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 234 Begin Subtree OpridNode__state kind = 31 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 216 signature = null sig_done = null sel_type = null id_str_table_index = 0 id_use_list = null id_last_definition = null id_def_found = null sel_index = null id_appl = null id_forward_ref = null End Subtree OpridNode__state Begin Subtree ListHeaderNode__state kind = 0 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 232 Begin Subtree ConsNode__state Begin Subtree ApplicationNode__state kind = 13 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 231 Begin Subtree LetterId__state kind = 32 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 218 signature = null sig_done = null sel_type = null id_str_table_index = 0 id_use_list = null id_last_definition = null id_def_found = null sel_index = null id_appl = null id_forward_ref = null End Subtree LetterId__state Begin Subtree ListHeaderNode__state kind = 0 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 225 Begin Subtree ConsNode__state Begin Subtree ConsNode__state Begin Subtree LetterId__state kind = 32 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 220 signature = null sig_done = null sel_type = null id_str_table_index = null id_use_list = null id_last_definition = null id_def_found = null sel_index = null id_appl = null id_forward_ref = null End Subtree LetterId__state cn_tl_field = null Unique Id = 224 End Subtree ConsNode__state cn_tl_field = null Unique Id = 226 End Subtree ConsNode__state End Subtree already visited ConsNode__state cn_hd_field = ConsNode__state cn_tl_field = null Unique Id = 226 End Subtree already visited ConsNode__state End Subtree ListHeaderNode__state ap_operator = null ap_args = null ap_void_decl = null End Subtree ApplicationNode__state cn_tl_field = null Unique Id = 233 End Subtree ConsNode__state End Subtree already visited ConsNode__state cn_hd_field = ApplicationNode__state cn_tl_field = null Unique Id = 233 End Subtree already visited ConsNode__state End Subtree ListHeaderNode__state ap_operator = null ap_args = null ap_void_decl = null End Subtree ApplicationNode__state cn_tl_field = null Unique Id = 236 End Subtree ConsNode__state End Subtree already visited ConsNode__state cn_hd_field = ApplicationNode__state cn_tl_field = null Unique Id = 236 End Subtree already visited ConsNode__state End Subtree ListHeaderNode__state ap_operator = null ap_args = null ap_void_decl = null End Subtree ApplicationNode__state cn_tl_field = null Unique Id = 239 End Subtree ConsNode__state cn_tl_field = null Unique Id = 240 End Subtree ConsNode__state Unique Id = 212 End Subtree ConsNode__state End Subtree already visited ConsNode__state cn_hd_field = ConsNode__state cn_tl_field = null Unique Id = 240 End Subtree already visited ConsNode__state End Subtree ListHeaderNode__state ar_size = null ar_static_link = null ar_static_level = null bld_declaration_list = null bld_den_seq = null bld_precedence = 0 bld_flags = 0 End Subtree BlDenotationNode__state Begin Subtree ListHeaderNode__state kind = 0 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 254 Begin Subtree ConsNode__state Begin Subtree ApplicationNode__state kind = 13 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 253 Begin Subtree OpridNode__state kind = 31 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 245 signature = null sig_done = null sel_type = null id_str_table_index = 0 id_use_list = null id_last_definition = null id_def_found = null sel_index = null id_appl = null id_forward_ref = null End Subtree OpridNode__state Begin Subtree ListHeaderNode__state kind = 0 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 251 Begin Subtree ConsNode__state Begin Subtree UQStrNode__state kind = 34 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 247 signature = 0 sig_done = null sel_type = null str_string = null str_use_list = null str_expansion = null End Subtree UQStrNode__state cn_tl_field = null Unique Id = 252 End Subtree ConsNode__state End Subtree already visited ConsNode__state cn_hd_field = UQStrNode__state cn_tl_field = null Unique Id = 252 End Subtree already visited ConsNode__state End Subtree ListHeaderNode__state ap_operator = null ap_args = null ap_void_decl = null End Subtree ApplicationNode__state cn_tl_field = null Unique Id = 255 End Subtree ConsNode__state End Subtree already visited ConsNode__state cn_hd_field = ApplicationNode__state cn_tl_field = null Unique Id = 255 End Subtree already visited ConsNode__state End Subtree ListHeaderNode__state ap_operator = null ap_args = null ap_void_decl = null End Subtree ApplicationNode__state cn_tl_field = null Unique Id = 258 End Subtree ConsNode__state Begin Subtree BlDenotationNode__state kind = 11 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 299 Begin Subtree ListHeaderNode__state kind = 0 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 298 lh_first = null lh_last = null End Subtree ListHeaderNode__state Begin Subtree ListHeaderNode__state kind = 0 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 280 Begin Subtree ConsNode__state Begin Subtree ConsNode__state Begin Subtree ApplicationNode__state kind = 13 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 277 Begin Subtree LetterId__state kind = 32 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 259 signature = null sig_done = null sel_type = null id_str_table_index = 0 id_use_list = null id_last_definition = null id_def_found = null sel_index = null id_appl = null id_forward_ref = null End Subtree LetterId__state Begin Subtree ListHeaderNode__state kind = 0 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 273 Begin Subtree ConsNode__state Begin Subtree ConsNode__state Begin Subtree ApplicationNode__state kind = 13 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 270 Begin Subtree LetterId__state kind = 32 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 262 signature = null sig_done = null sel_type = null id_str_table_index = 0 id_use_list = null id_last_definition = null id_def_found = null sel_index = null id_appl = null id_forward_ref = null End Subtree LetterId__state Begin Subtree ListHeaderNode__state kind = 0 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 268 Begin Subtree ConsNode__state Begin Subtree OpridNode__state kind = 31 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 265 signature = null sig_done = null sel_type = null id_str_table_index = 0 id_use_list = null id_last_definition = null id_def_found = null sel_index = null id_appl = null id_forward_ref = null End Subtree OpridNode__state cn_tl_field = null Unique Id = 269 End Subtree ConsNode__state End Subtree already visited ConsNode__state cn_hd_field = OpridNode__state cn_tl_field = null Unique Id = 269 End Subtree already visited ConsNode__state End Subtree ListHeaderNode__state ap_operator = null ap_args = null ap_void_decl = null End Subtree ApplicationNode__state cn_tl_field = null Unique Id = 272 End Subtree ConsNode__state cn_tl_field = null Unique Id = 274 End Subtree ConsNode__state End Subtree already visited ConsNode__state cn_hd_field = ConsNode__state cn_tl_field = null Unique Id = 274 End Subtree already visited ConsNode__state End Subtree ListHeaderNode__state ap_operator = null ap_args = null ap_void_decl = null End Subtree ApplicationNode__state cn_tl_field = null Unique Id = 279 End Subtree ConsNode__state Begin Subtree ConsNode__state Begin Subtree ConsNode__state Begin Subtree ApplicationNode__state kind = 13 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 294 Begin Subtree LetterId__state kind = 32 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 282 signature = null sig_done = null sel_type = null id_str_table_index = 0 id_use_list = null id_last_definition = null id_def_found = null sel_index = null id_appl = null id_forward_ref = null End Subtree LetterId__state Begin Subtree ListHeaderNode__state kind = 0 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 290 Begin Subtree ConsNode__state Begin Subtree ConsNode__state Begin Subtree QStrNode__state kind = 33 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 285 signature = sig_done = null sel_type = null str_string = null str_use_list = null str_expansion = null End Subtree QStrNode__state cn_tl_field = null Unique Id = 289 End Subtree ConsNode__state cn_tl_field = null Unique Id = 291 End Subtree ConsNode__state End Subtree already visited ConsNode__state cn_hd_field = ConsNode__state cn_tl_field = null Unique Id = 291 End Subtree already visited ConsNode__state End Subtree ListHeaderNode__state ap_operator = null ap_args = null ap_void_decl = null End Subtree ApplicationNode__state cn_tl_field = null Unique Id = 296 End Subtree ConsNode__state cn_tl_field = null Unique Id = 297 End Subtree ConsNode__state Unique Id = 281 End Subtree ConsNode__state End Subtree already visited ConsNode__state cn_hd_field = ConsNode__state cn_tl_field = null Unique Id = 297 End Subtree already visited ConsNode__state End Subtree ListHeaderNode__state ar_size = null ar_static_link = null ar_static_level = null bld_declaration_list = null bld_den_seq = null bld_precedence = 15 bld_flags = 0 End Subtree BlDenotationNode__state End Subtree GuardedElementNode__state cn_tl_field = null Unique Id = 302 End Subtree ConsNode__state End Subtree already visited ConsNode__state cn_hd_field = GuardedElementNode__state cn_tl_field = null Unique Id = 302 End Subtree already visited ConsNode__state End Subtree ListHeaderNode__state sig_done = null gl_list = null End Subtree LoopDenotationNode__state cn_tl_field = null Unique Id = 307 End Subtree ConsNode__state cn_tl_field = null Unique Id = 309 End Subtree ConsNode__state End Subtree already visiConsNode__state cn_hd_field = ConsNode__state cn_tl_field = null Unique Id = 309 End Subtree already visiConsNode__state End Subtree ListHeaderNode__state ar_size = null ar_static_link = null ar_static_level = null bld_declaration_list null bld_den_seq = null bld_precedence = null bld_flags = 16 End Subtree BlDenotationNode__state cn_tl_field = null Unique Id = 314 End Subtree ConsNode__state END DUMP OF TREE AFTER FIXUP DUMP OF TREE AFTER CHECKING SUGNATURES Begin Subtree ConsNode__state Begin Subtree BlDenotationNode__state kind = 11 vlineno = 1 pre_num = 1 post_num = 1 cn_hd_field = null cn_tl_field = null Unique Id = 310 Begin Subtree ListHeaderNode__state kind = 0 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 195 lh_first = null lh_last = null End Subtree ListHeaderNode__state Begin Subtree ListHeaderNode__state kind = 0 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 308 Begin Subtree ConsNode__state Begin Subtree ConsNode__state Begin Subtree LoopDenotationNode__state kind = 29 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 303 Begin Subtree ListHeaderNode__state kind = 0 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 301 Begin Subtree ConsNode__state Begin Subtree GuardedElementNode__state kind = 30 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 300 Begin Subtree ConsNode__state Begin Subtree ApplicationNode__state kind = 13 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 256 Begin Subtree BlDenotationNode__state kind = 11 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 242 Begin Subtree ListHeaderNode__state kind = 0 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 241 lh_first = null lh_last = null End Subtree ListHeaderNode__state Begin Subtree ListHeaderNode__state kind = 0 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 211 Begin Subtree ConsNode__state Begin Subtree ConsNode__state Begin Subtree ApplicationNode__state kind = 13 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 208 Begin Subtree LetterId__state kind = 32 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 196 signature = null sig_done = null sel_type = null id_str_table_index = 0 id_use_list = null id_last_definition = null id_def_found = null sel_index = null id_appl = null id_forward_ref = null End Subtree LetterId__state Begin Subtree ListHeaderNode__state kind = 0 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 204 Begin Subtree ConsNode__state Begin Subtree ConsNode__state Begin Subtree QStrNode__state kind = 33 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 199 signature = Factorial of? sig_done = null sel_type = null str_string = null str_use_list = null str_expansion = null End Subtree QStrNode__state cn_tl_field = null Unique Id = 203 End Subtree ConsNode__state cn_tl_field = null Unique Id = 205 End Subtree ConsNode__state End Subtree already visited ConsNode__state cn_hd_field = ConsNode__state cn_tl_field = null Unique Id = 205 End Subtree already visited ConsNode__state End Subtree ListHeaderNode__state ap_operator = null ap_args = null ap_void_decl = null End Subtree ApplicationNode__state cn_tl_field = null Unique Id = 210 End Subtree ConsNode__state Begin Subtree ConsNode__state Begin Subtree ConsNode__state Begin Subtree ApplicationNode__state kind = 13 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 237 Begin Subtree LetterId__state kind = 32 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 213 signature = null sig_done = null sel_type = null id_str_table_index = 0 id_use_list = null id_last_definition = null id_def_found = null sel_index = null id_appl = null id_forward_ref = null End Subtree LetterId__state Begin Subtree ListHeaderNode__state kind = 0 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 235 Begin Subtree ConsNode__state Begin Subtree ApplicationNode__state kind = 13 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 234 Begin Subtree OpridNode__state kind = 31 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 216 signature = null sig_done = null sel_type = null id_str_table_index = 0 id_use_list = null id_last_definition = null id_def_found = null sel_index = null id_appl = null id_forward_ref = null End Subtree OpridNode__state Begin Subtree ListHeaderNode__state kind = 0 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 232 Begin Subtree ConsNode__state Begin Subtree ApplicationNode__state kind = 13 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 231 Begin Subtree LetterId__state kind = 32 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 218 signature = null sig_done = null sel_type = null id_str_table_index = 0 id_use_list = null id_last_definition = null id_def_found = null sel_index = null id_appl = null id_forward_ref = null End Subtree LetterId__state Begin Subtree ListHeaderNode__state kind = 0 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 225 Begin Subtree ConsNode__state Begin Subtree ConsNode__state Begin Subtree LetterId__state kind = 32 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 220 signature = null sig_done = null sel_type = null id_str_table_index = null id_use_list = null id_last_definition = null id_def_found = null sel_index = null id_appl = null id_forward_ref = null End Subtree LetterId__state cn_tl_field = null Unique Id = 224 End Subtree ConsNode__state cn_tl_field = null Unique Id = 226 End Subtree ConsNode__state End Subtree already visited ConsNode__state cn_hd_field = ConsNode__state cn_tl_field = null Unique Id = 226 End Subtree already visited ConsNode__state End Subtree ListHeaderNode__state ap_operator = null ap_args = null ap_void_decl = null End Subtree ApplicationNode__state cn_tl_field = null Unique Id = 233 End Subtree ConsNode__state End Subtree already visited ConsNode__state cn_hd_field = ApplicationNode__state cn_tl_field = null Unique Id = 233 End Subtree already visited ConsNode__state End Subtree ListHeaderNode__state ap_operator = null ap_args = null ap_void_decl = null End Subtree ApplicationNode__state cn_tl_field = null Unique Id = 236 End Subtree ConsNode__state End Subtree already visited ConsNode__state cn_hd_field = ApplicationNode__state cn_tl_field = null Unique Id = 236 End Subtree already visited ConsNode__state End Subtree ListHeaderNode__state ap_operator = null ap_args = null ap_void_decl = null End Subtree ApplicationNode__state cn_tl_field = null Unique Id = 239 End Subtree ConsNode__state cn_tl_field = null Unique Id = 240 End Subtree ConsNode__state Unique Id = 212 End Subtree ConsNode__state End Subtree already visited ConsNode__state cn_hd_field = ConsNode__state cn_tl_field = null Unique Id = 240 End Subtree already visited ConsNode__state End Subtree ListHeaderNode__state ar_size = null ar_static_link = null ar_static_level = null bld_declaration_list = null bld_den_seq = null bld_precedence = 0 bld_flags = 0 End Subtree BlDenotationNode__state Begin Subtree ListHeaderNode__state kind = 0 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 254 Begin Subtree ConsNode__state Begin Subtree ApplicationNode__state kind = 13 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 253 Begin Subtree OpridNode__state kind = 31 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 245 signature = null sig_done = null sel_type = null id_str_table_index = 0 id_use_list = null id_last_definition = null id_def_found = null sel_index = null id_appl = null id_forward_ref = null End Subtree OpridNode__state Begin Subtree ListHeaderNode__state kind = 0 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 251 Begin Subtree ConsNode__state Begin Subtree UQStrNode__state kind = 34 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 247 signature = 0 sig_done = null sel_type = null str_string = null str_use_list = null str_expansion = null End Subtree UQStrNode__state cn_tl_field = null Unique Id = 252 End Subtree ConsNode__state End Subtree already visited ConsNode__state cn_hd_field = UQStrNode__state cn_tl_field = null Unique Id = 252 End Subtree already visited ConsNode__state End Subtree ListHeaderNode__state ap_operator = null ap_args = null ap_void_decl = null End Subtree ApplicationNode__state cn_tl_field = null Unique Id = 255 End Subtree ConsNode__state End Subtree already visited ConsNode__state cn_hd_field = ApplicationNode__state cn_tl_field = null Unique Id = 255 End Subtree already visited ConsNode__state End Subtree ListHeaderNode__state ap_operator = null ap_args = null ap_void_decl = null End Subtree ApplicationNode__state cn_tl_field = null Unique Id = 258 End Subtree ConsNode__state Begin Subtree BlDenotationNode__state kind = 11 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 299 Begin Subtree ListHeaderNode__state kind = 0 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 298 lh_first = null lh_last = null End Subtree ListHeaderNode__state Begin Subtree ListHeaderNode__state kind = 0 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 280 Begin Subtree ConsNode__state Begin Subtree ConsNode__state Begin Subtree ApplicationNode__state kind = 13 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 277 Begin Subtree LetterId__state kind = 32 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 259 signature = null sig_done = null sel_type = null id_str_table_index = 0 id_use_list = null id_last_definition = null id_def_found = null sel_index = null id_appl = null id_forward_ref = null End Subtree LetterId__state Begin Subtree ListHeaderNode__state kind = 0 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 273 Begin Subtree ConsNode__state Begin Subtree ConsNode__state Begin Subtree ApplicationNode__state kind = 13 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 270 Begin Subtree LetterId__state kind = 32 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 262 signature = null sig_done = null sel_type = null id_str_table_index = 0 id_use_list = null id_last_definition = null id_def_found = null sel_index = null id_appl = null id_forward_ref = null End Subtree LetterId__state Begin Subtree ListHeaderNode__state kind = 0 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 268 Begin Subtree ConsNode__state Begin Subtree OpridNode__state kind = 31 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 265 signature = null sig_done = null sel_type = null id_str_table_index = 0 id_use_list = null id_last_definition = null id_def_found = null sel_index = null id_appl = null id_forward_ref = null End Subtree OpridNode__state cn_tl_field = null Unique Id = 269 End Subtree ConsNode__state End Subtree already visited ConsNode__state cn_hd_field = OpridNode__state cn_tl_field = null Unique Id = 269 End Subtree already visited ConsNode__state End Subtree ListHeaderNode__state ap_operator = null ap_args = null ap_void_decl = null End Subtree ApplicationNode__state cn_tl_field = null Unique Id = 272 End Subtree ConsNode__state cn_tl_field = null Unique Id = 274 End Subtree ConsNode__state End Subtree already visited ConsNode__state cn_hd_field = ConsNode__state cn_tl_field = null Unique Id = 274 End Subtree already visited ConsNode__state End Subtree ListHeaderNode__state ap_operator = null ap_args = null ap_void_decl = null End Subtree ApplicationNode__state cn_tl_field = null Unique Id = 279 End Subtree ConsNode__state Begin Subtree ConsNode__state Begin Subtree ConsNode__state Begin Subtree ApplicationNode__state kind = 13 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 294 Begin Subtree LetterId__state kind = 32 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 282 signature = null sig_done = null sel_type = null id_str_table_index = 0 id_use_list = null id_last_definition = null id_def_found = null sel_index = null id_appl = null id_forward_ref = null End Subtree LetterId__state Begin Subtree ListHeaderNode__state kind = 0 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 290 Begin Subtree ConsNode__state Begin Subtree ConsNode__state Begin Subtree QStrNode__state kind = 33 vlineno = 1 pre_num = null post_num = null cn_hd_field = null cn_tl_field = null Unique Id = 285 signature = sig_done = null sel_type = null str_string = null str_use_list = null str_expansion = null End Subtree QStrNode__state cn_tl_field = null Unique Id = 289 End Subtree ConsNode__state cn_tl_field = null Unique Id = 291 End Subtree ConsNode__state End Subtree already visited ConsNode__state cn_hd_field = ConsNode__state cn_tl_field = null Unique Id = 291 End Subtree already visited ConsNode__state End Subtree ListHeaderNode__state ap_operator = null ap_args = null ap_void_decl = null End Subtree ApplicationNode__state cn_tl_field = null Unique Id = 296 End Subtree ConsNode__state cn_tl_field = null Unique Id = 297 End Subtree ConsNode__state Unique Id = 281 End Subtree ConsNode__state End Subtree already visited ConsNode__state cn_hd_field = ConsNode__state cn_tl_field = null Unique Id = 297 End Subtree already visited ConsNode__state End Subtree ListHeaderNode__state ar_size = null ar_static_link = null ar_static_level = null bld_declaration_list = null bld_den_seq = null bld_precedence = 15 bld_flags = 0 End Subtree BlDenotationNode__state End Subtree GuardedElementNode__state cn_tl_field = null Unique Id = 302 End Subtree ConsNode__state End Subtree already visited ConsNode__state cn_hd_field = GuardedElementNode__state cn_tl_field = null Unique Id = 302 End Subtree already visited ConsNode__state End Subtree ListHeaderNode__state sig_done = null gl_list = null End Subtree LoopDenotationNode__state cn_tl_field = null Unique Id = 307 End Subtree ConsNode__state cn_tl_field = null Unique Id = 309 End Subtree ConsNode__state End Subtree already visiConsNode__state cn_hd_field = ConsNode__state cn_tl_field = null Unique Id = 309 End Subtree already visiConsNode__state End Subtree ListHeaderNode__state ar_size = null ar_static_link = null ar_static_level = null bld_declaration_list null bld_den_seq = null bld_precedence = null bld_flags = 16 End Subtree BlDenotationNode__state cn_tl_field = null Unique Id = 314 End Subtree ConsNode__state END DUMP OF TREE AFTER CHECKING SIGNATURES