DUMP OF INSRTPTR
Begin Subtree        BlDenotationNode__state
kind   =             11
vlineno   =          1
pre_num   =          null
post_num   =         null
cn_hd_field   =      null
cn_tl_field   =      null
Unique Id   =        50
Begin Subtree         ListHeaderNode__state
kind   =              0
vlineno   =           1
pre_num   =           null
post_num   =          null
cn_hd_field   =       null
cn_tl_field   =       null
Unique Id   =         49
lh_first   =          null
lh_last   =           null
End Subtree           ListHeaderNode__state
sig_done   =         null
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
fc_code_label   =    null
End Subtree          BlDenotationNode__state
END DUMP OF INSRTPTR
DUMP OF TREE
Begin Subtree        BlDenotationNode__state
kind   =             11
vlineno   =          1
pre_num   =          null
post_num   =         null
cn_hd_field   =      null
cn_tl_field   =      null
Unique Id   =        50
Begin Subtree         ListHeaderNode__state
kind   =              0
vlineno   =           1
pre_num   =           null
post_num   =          null
cn_hd_field   =       null
cn_tl_field   =       null
Unique Id   =         49
lh_first   =          null
lh_last   =           null
End Subtree           ListHeaderNode__state
sig_done   =         null
ar_size   =          null
ar_static_link   =   null
ar_static_level   =  null
bld_declaration_list null
Begin Subtree         ListHeaderNode__state
kind   =              0
vlineno   =           2
pre_num   =           null
post_num   =          null
cn_hd_field   =       null
cn_tl_field   =       null
Unique Id   =         317
Begin Subtree          ConsNode__state
Begin Subtree           ConsNode__state
Begin Subtree            BlDenotationNode__state
kind   =                 11
vlineno   =              2
pre_num   =              null
post_num   =             null
cn_hd_field   =          null
cn_tl_field   =          null
Unique Id   =            312
Begin Subtree             ListHeaderNode__state
kind   =                  0
vlineno   =               2
pre_num   =               null
post_num   =              null
cn_hd_field   =           null
cn_tl_field   =           null
Unique Id   =             197
lh_first   =              null
lh_last   =               null
End Subtree               ListHeaderNode__state
Begin Subtree             ListHeaderNode__state
kind   =                  0
vlineno   =               2
pre_num   =               null
post_num   =              null
cn_hd_field   =           null
cn_tl_field   =           null
Unique Id   =             310
Begin Subtree              ConsNode__state
Begin Subtree               ConsNode__state
Begin Subtree                LoopDenotationNode__state
kind   =                     29
vlineno   =                  2
pre_num   =                  null
post_num   =                 null
cn_hd_field   =              null
cn_tl_field   =              null
Unique Id   =                305
Begin Subtree                 ListHeaderNode__state
kind   =                      0
vlineno   =                   2
pre_num   =                   null
post_num   =                  null
cn_hd_field   =               null
cn_tl_field   =               null
Unique Id   =                 303
Begin Subtree                  ConsNode__state
Begin Subtree                   GuardedElementNode__state
kind   =                        30
vlineno   =                     2
pre_num   =                     null
post_num   =                    null
cn_hd_field   =                 null
cn_tl_field   =                 null
Unique Id   =                   302
Begin Subtree                    ConsNode__state
Begin Subtree                     ApplicationNode__state
kind   =                          13
vlineno   =                       2
pre_num   =                       null
post_num   =                      null
cn_hd_field   =                   null
cn_tl_field   =                   null
Unique Id   =                     258
Begin Subtree                      BlDenotationNode__state
kind   =                           11
vlineno   =                        2
pre_num   =                        null
post_num   =                       null
cn_hd_field   =                    null
cn_tl_field   =                    null
Unique Id   =                      244
Begin Subtree                       ListHeaderNode__state
kind   =                            0
vlineno   =                         2
pre_num   =                         null
post_num   =                        null
cn_hd_field   =                     null
cn_tl_field   =                     null
Unique Id   =                       243
lh_first   =                        null
lh_last   =                         null
End Subtree                         ListHeaderNode__state
Begin Subtree                       ListHeaderNode__state
kind   =                            0
vlineno   =                         2
pre_num   =                         null
post_num   =                        null
cn_hd_field   =                     null
cn_tl_field   =                     null
Unique Id   =                       213
Begin Subtree                        ConsNode__state
Begin Subtree                         ConsNode__state
Begin Subtree                          ApplicationNode__state
kind   =                               13
vlineno   =                            2
pre_num   =                            null
post_num   =                           null
cn_hd_field   =                        null
cn_tl_field   =                        null
Unique Id   =                          210
Begin Subtree                           LetterId__state
kind   =                                32
vlineno   =                             2
pre_num   =                             null
post_num   =                            null
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           198
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   =                             2
pre_num   =                             null
post_num   =                            null
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           206
Begin Subtree                            ConsNode__state
Begin Subtree                             ConsNode__state
Begin Subtree                              QStrNode__state
kind   =                                   33
vlineno   =                                2
pre_num   =                                null
post_num   =                               null
cn_hd_field   =                            null
cn_tl_field   =                            null
Unique Id   =                              201
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   =                             205
End Subtree                               ConsNode__state
cn_tl_field   =                          null
Unique Id   =                            207
End Subtree                              ConsNode__state
End Subtree already visited              ConsNode__state
cn_hd_field   =                          ConsNode__state
cn_tl_field   =                          null
Unique Id   =                            207
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   =                         212
End Subtree                           ConsNode__state
Begin Subtree                         ConsNode__state
Begin Subtree                          ConsNode__state
Begin Subtree                           ApplicationNode__state
kind   =                                13
vlineno   =                             2
pre_num   =                             null
post_num   =                            null
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           239
Begin Subtree                            LetterId__state
kind   =                                 32
vlineno   =                              2
pre_num   =                              null
post_num   =                             null
cn_hd_field   =                          null
cn_tl_field   =                          null
Unique Id   =                            215
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   =                              2
pre_num   =                              null
post_num   =                             null
cn_hd_field   =                          null
cn_tl_field   =                          null
Unique Id   =                            237
Begin Subtree                             ConsNode__state
Begin Subtree                              ApplicationNode__state
kind   =                                   13
vlineno   =                                2
pre_num   =                                null
post_num   =                               null
cn_hd_field   =                            null
cn_tl_field   =                            null
Unique Id   =                              236
Begin Subtree                               OpridNode__state
kind   =                                    31
vlineno   =                                 2
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                                 OpridNode__state
Begin Subtree                               ListHeaderNode__state
kind   =                                    0
vlineno   =                                 2
pre_num   =                                 null
post_num   =                                null
cn_hd_field   =                             null
cn_tl_field   =                             null
Unique Id   =                               234
Begin Subtree                                ConsNode__state
Begin Subtree                                 ApplicationNode__state
kind   =                                      13
vlineno   =                                   2
pre_num   =                                   null
post_num   =                                  null
cn_hd_field   =                               null
cn_tl_field   =                               null
Unique Id   =                                 233
Begin Subtree                                  LetterId__state
kind   =                                       32
vlineno   =                                    2
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   =                         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   =                                    2
pre_num   =                                    null
post_num   =                                   null
cn_hd_field   =                                null
cn_tl_field   =                                null
Unique Id   =                                  227
Begin Subtree                                   ConsNode__state
Begin Subtree                                    ConsNode__state
Begin Subtree                                     LetterId__state
kind   =                                          32
vlineno   =                                       2
pre_num   =                                       null
post_num   =                                      null
cn_hd_field   =                                   null
cn_tl_field   =                                   null
Unique Id   =                                     222
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   =                                    226
End Subtree                                      ConsNode__state
cn_tl_field   =                                 null
Unique Id   =                                   228
End Subtree                                     ConsNode__state
End Subtree already visited                     ConsNode__state
cn_hd_field   =                                 ConsNode__state
cn_tl_field   =                                 null
Unique Id   =                                   228
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   =                                235
End Subtree                                  ConsNode__state
End Subtree already visited                  ConsNode__state
cn_hd_field   =                              ApplicationNode__state
cn_tl_field   =                              null
Unique Id   =                                235
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   =                             238
End Subtree                               ConsNode__state
End Subtree already visited               ConsNode__state
cn_hd_field   =                           ApplicationNode__state
cn_tl_field   =                           null
Unique Id   =                             238
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   =                          241
End Subtree                            ConsNode__state
cn_tl_field   =                       null
Unique Id   =                         242
End Subtree                           ConsNode__state
Unique Id   =                        214
End Subtree                          ConsNode__state
End Subtree already visited          ConsNode__state
cn_hd_field   =                      ConsNode__state
cn_tl_field   =                      null
Unique Id   =                        242
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
fc_code_label   =                  null
End Subtree                        BlDenotationNode__state
Begin Subtree                      ListHeaderNode__state
kind   =                           0
vlineno   =                        2
pre_num   =                        null
post_num   =                       null
cn_hd_field   =                    null
cn_tl_field   =                    null
Unique Id   =                      256
Begin Subtree                       ConsNode__state
Begin Subtree                        ApplicationNode__state
kind   =                             13
vlineno   =                          2
pre_num   =                          null
post_num   =                         null
cn_hd_field   =                      null
cn_tl_field   =                      null
Unique Id   =                        255
Begin Subtree                         OpridNode__state
kind   =                              31
vlineno   =                           2
pre_num   =                           null
post_num   =                          null
cn_hd_field   =                       null
cn_tl_field   =                       null
Unique Id   =                         247
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   =                           2
pre_num   =                           null
post_num   =                          null
cn_hd_field   =                       null
cn_tl_field   =                       null
Unique Id   =                         253
Begin Subtree                          ConsNode__state
Begin Subtree                           UQStrNode__state
kind   =                                34
vlineno   =                             2
pre_num   =                             null
post_num   =                            null
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           249
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   =                          254
End Subtree                            ConsNode__state
End Subtree already visited            ConsNode__state
cn_hd_field   =                        UQStrNode__state
cn_tl_field   =                        null
Unique Id   =                          254
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   =                       257
End Subtree                         ConsNode__state
End Subtree already visited         ConsNode__state
cn_hd_field   =                     ApplicationNode__state
cn_tl_field   =                     null
Unique Id   =                       257
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   =                    260
End Subtree                      ConsNode__state
Begin Subtree                    BlDenotationNode__state
kind   =                         11
vlineno   =                      2
pre_num   =                      null
post_num   =                     null
cn_hd_field   =                  null
cn_tl_field   =                  null
Unique Id   =                    301
Begin Subtree                     ListHeaderNode__state
kind   =                          0
vlineno   =                       2
pre_num   =                       null
post_num   =                      null
cn_hd_field   =                   null
cn_tl_field   =                   null
Unique Id   =                     300
lh_first   =                      null
lh_last   =                       null
End Subtree                       ListHeaderNode__state
Begin Subtree                     ListHeaderNode__state
kind   =                          0
vlineno   =                       2
pre_num   =                       null
post_num   =                      null
cn_hd_field   =                   null
cn_tl_field   =                   null
Unique Id   =                     282
Begin Subtree                      ConsNode__state
Begin Subtree                       ConsNode__state
Begin Subtree                        ApplicationNode__state
kind   =                             13
vlineno   =                          2
pre_num   =                          null
post_num   =                         null
cn_hd_field   =                      null
cn_tl_field   =                      null
Unique Id   =                        279
Begin Subtree                         LetterId__state
kind   =                              32
vlineno   =                           2
pre_num   =                           null
post_num   =                          null
cn_hd_field   =                       null
cn_tl_field   =                       null
Unique Id   =                         261
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   =                           2
pre_num   =                           null
post_num   =                          null
cn_hd_field   =                       null
cn_tl_field   =                       null
Unique Id   =                         275
Begin Subtree                          ConsNode__state
Begin Subtree                           ConsNode__state
Begin Subtree                            ApplicationNode__state
kind   =                                 13
vlineno   =                              2
pre_num   =                              null
post_num   =                             null
cn_hd_field   =                          null
cn_tl_field   =                          null
Unique Id   =                            272
Begin Subtree                             LetterId__state
kind   =                                  32
vlineno   =                               2
pre_num   =                               null
post_num   =                              null
cn_hd_field   =                           null
cn_tl_field   =                           null
Unique Id   =                             264
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   =                               2
pre_num   =                               null
post_num   =                              null
cn_hd_field   =                           null
cn_tl_field   =                           null
Unique Id   =                             270
Begin Subtree                              ConsNode__state
Begin Subtree                               OpridNode__state
kind   =                                    31
vlineno   =                                 2
pre_num   =                                 null
post_num   =                                null
cn_hd_field   =                             null
cn_tl_field   =                             null
Unique Id   =                               267
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   =                              271
End Subtree                                ConsNode__state
End Subtree already visited                ConsNode__state
cn_hd_field   =                            OpridNode__state
cn_tl_field   =                            null
Unique Id   =                              271
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   =                           274
End Subtree                             ConsNode__state
cn_tl_field   =                        null
Unique Id   =                          276
End Subtree                            ConsNode__state
End Subtree already visited            ConsNode__state
cn_hd_field   =                        ConsNode__state
cn_tl_field   =                        null
Unique Id   =                          276
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   =                       281
End Subtree                         ConsNode__state
Begin Subtree                       ConsNode__state
Begin Subtree                        ConsNode__state
Begin Subtree                         ApplicationNode__state
kind   =                              13
vlineno   =                           2
pre_num   =                           null
post_num   =                          null
cn_hd_field   =                       null
cn_tl_field   =                       null
Unique Id   =                         296
Begin Subtree                          LetterId__state
kind   =                               32
vlineno   =                            2
pre_num   =                            null
post_num   =                           null
cn_hd_field   =                        null
cn_tl_field   =                        null
Unique Id   =                          284
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   =                            2
pre_num   =                            null
post_num   =                           null
cn_hd_field   =                        null
cn_tl_field   =                        null
Unique Id   =                          292
Begin Subtree                           ConsNode__state
Begin Subtree                            ConsNode__state
Begin Subtree                             QStrNode__state
kind   =                                  33
vlineno   =                               2
pre_num   =                               null
post_num   =                              null
cn_hd_field   =                           null
cn_tl_field   =                           null
Unique Id   =                             287
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   =                            291
End Subtree                              ConsNode__state
cn_tl_field   =                         null
Unique Id   =                           293
End Subtree                             ConsNode__state
End Subtree already visited             ConsNode__state
cn_hd_field   =                         ConsNode__state
cn_tl_field   =                         null
Unique Id   =                           293
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   =                        298
End Subtree                          ConsNode__state
cn_tl_field   =                     null
Unique Id   =                       299
End Subtree                         ConsNode__state
Unique Id   =                      283
End Subtree                        ConsNode__state
End Subtree already visited        ConsNode__state
cn_hd_field   =                    ConsNode__state
cn_tl_field   =                    null
Unique Id   =                      299
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
fc_code_label   =                null
End Subtree                      BlDenotationNode__state
End Subtree                     GuardedElementNode__state
cn_tl_field   =                null
Unique Id   =                  304
End Subtree                    ConsNode__state
End Subtree already visited    ConsNode__state
cn_hd_field   =                GuardedElementNode__state
cn_tl_field   =                null
Unique Id   =                  304
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   =               309
End Subtree                 ConsNode__state
cn_tl_field   =            null
Unique Id   =              311
End Subtree                ConsNode__state
End Subtree already visitedConsNode__state
cn_hd_field   =            ConsNode__state
cn_tl_field   =            null
Unique Id   =              311
End Subtree already visitedConsNode__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
fc_code_label   =        null
End Subtree              BlDenotationNode__state
cn_tl_field   =         null
Unique Id   =           316
End Subtree             ConsNode__state
cn_tl_field   =        null
Unique Id   =          318
End Subtree            ConsNode__state
End Subtree already visConsNode__state
cn_hd_field   =        ConsNode__state
cn_tl_field   =        null
Unique Id   =          318
End Subtree already visConsNode__state
End Subtree           ListHeaderNode__state
bld_precedence   =   15
bld_flags   =        0
fc_code_label   =    null
End Subtree          BlDenotationNode__state
END DUMP OF TREE
DUMP OF TREE AFTER FIXUP
Begin Subtree        BlDenotationNode__state
kind   =             11
vlineno   =          1
pre_num   =          1
post_num   =         1
cn_hd_field   =      null
cn_tl_field   =      null
Unique Id   =        50
Begin Subtree         ListHeaderNode__state
kind   =              0
vlineno   =           1
pre_num   =           null
post_num   =          null
cn_hd_field   =       null
cn_tl_field   =       null
Unique Id   =         49
lh_first   =          null
lh_last   =           null
End Subtree           ListHeaderNode__state
sig_done   =         null
ar_size   =          null
ar_static_link   =   null
ar_static_level   =  null
bld_declaration_list null
Begin Subtree         ListHeaderNode__state
kind   =              0
vlineno   =           2
pre_num   =           null
post_num   =          null
cn_hd_field   =       null
cn_tl_field   =       null
Unique Id   =         317
Begin Subtree          ConsNode__state
Begin Subtree           ConsNode__state
Begin Subtree            BlDenotationNode__state
kind   =                 11
vlineno   =              2
pre_num   =              null
post_num   =             null
cn_hd_field   =          null
cn_tl_field   =          null
Unique Id   =            312
Begin Subtree             ListHeaderNode__state
kind   =                  0
vlineno   =               2
pre_num   =               null
post_num   =              null
cn_hd_field   =           null
cn_tl_field   =           null
Unique Id   =             197
lh_first   =              null
lh_last   =               null
End Subtree               ListHeaderNode__state
Begin Subtree             ListHeaderNode__state
kind   =                  0
vlineno   =               2
pre_num   =               null
post_num   =              null
cn_hd_field   =           null
cn_tl_field   =           null
Unique Id   =             310
Begin Subtree              ConsNode__state
Begin Subtree               ConsNode__state
Begin Subtree                LoopDenotationNode__state
kind   =                     29
vlineno   =                  2
pre_num   =                  null
post_num   =                 null
cn_hd_field   =              null
cn_tl_field   =              null
Unique Id   =                305
Begin Subtree                 ListHeaderNode__state
kind   =                      0
vlineno   =                   2
pre_num   =                   null
post_num   =                  null
cn_hd_field   =               null
cn_tl_field   =               null
Unique Id   =                 303
Begin Subtree                  ConsNode__state
Begin Subtree                   GuardedElementNode__state
kind   =                        30
vlineno   =                     2
pre_num   =                     null
post_num   =                    null
cn_hd_field   =                 null
cn_tl_field   =                 null
Unique Id   =                   302
Begin Subtree                    ConsNode__state
Begin Subtree                     ApplicationNode__state
kind   =                          13
vlineno   =                       2
pre_num   =                       null
post_num   =                      null
cn_hd_field   =                   null
cn_tl_field   =                   null
Unique Id   =                     258
Begin Subtree                      BlDenotationNode__state
kind   =                           11
vlineno   =                        2
pre_num   =                        null
post_num   =                       null
cn_hd_field   =                    null
cn_tl_field   =                    null
Unique Id   =                      244
Begin Subtree                       ListHeaderNode__state
kind   =                            0
vlineno   =                         2
pre_num   =                         null
post_num   =                        null
cn_hd_field   =                     null
cn_tl_field   =                     null
Unique Id   =                       243
lh_first   =                        null
lh_last   =                         null
End Subtree                         ListHeaderNode__state
Begin Subtree                       ListHeaderNode__state
kind   =                            0
vlineno   =                         2
pre_num   =                         null
post_num   =                        null
cn_hd_field   =                     null
cn_tl_field   =                     null
Unique Id   =                       213
Begin Subtree                        ConsNode__state
Begin Subtree                         ConsNode__state
Begin Subtree                          ApplicationNode__state
kind   =                               13
vlineno   =                            2
pre_num   =                            null
post_num   =                           null
cn_hd_field   =                        null
cn_tl_field   =                        null
Unique Id   =                          210
Begin Subtree                           LetterId__state
kind   =                                32
vlineno   =                             2
pre_num   =                             null
post_num   =                            null
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           198
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   =                             2
pre_num   =                             null
post_num   =                            null
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           206
Begin Subtree                            ConsNode__state
Begin Subtree                             ConsNode__state
Begin Subtree                              QStrNode__state
kind   =                                   33
vlineno   =                                2
pre_num   =                                null
post_num   =                               null
cn_hd_field   =                            null
cn_tl_field   =                            null
Unique Id   =                              201
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   =                             205
End Subtree                               ConsNode__state
cn_tl_field   =                          null
Unique Id   =                            207
End Subtree                              ConsNode__state
End Subtree already visited              ConsNode__state
cn_hd_field   =                          ConsNode__state
cn_tl_field   =                          null
Unique Id   =                            207
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   =                         212
End Subtree                           ConsNode__state
Begin Subtree                         ConsNode__state
Begin Subtree                          ConsNode__state
Begin Subtree                           ApplicationNode__state
kind   =                                13
vlineno   =                             2
pre_num   =                             null
post_num   =                            null
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           239
Begin Subtree                            LetterId__state
kind   =                                 32
vlineno   =                              2
pre_num   =                              null
post_num   =                             null
cn_hd_field   =                          null
cn_tl_field   =                          null
Unique Id   =                            215
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   =                              2
pre_num   =                              null
post_num   =                             null
cn_hd_field   =                          null
cn_tl_field   =                          null
Unique Id   =                            237
Begin Subtree                             ConsNode__state
Begin Subtree                              ApplicationNode__state
kind   =                                   13
vlineno   =                                2
pre_num   =                                null
post_num   =                               null
cn_hd_field   =                            null
cn_tl_field   =                            null
Unique Id   =                              236
Begin Subtree                               OpridNode__state
kind   =                                    31
vlineno   =                                 2
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                                 OpridNode__state
Begin Subtree                               ListHeaderNode__state
kind   =                                    0
vlineno   =                                 2
pre_num   =                                 null
post_num   =                                null
cn_hd_field   =                             null
cn_tl_field   =                             null
Unique Id   =                               234
Begin Subtree                                ConsNode__state
Begin Subtree                                 ApplicationNode__state
kind   =                                      13
vlineno   =                                   2
pre_num   =                                   null
post_num   =                                  null
cn_hd_field   =                               null
cn_tl_field   =                               null
Unique Id   =                                 233
Begin Subtree                                  LetterId__state
kind   =                                       32
vlineno   =                                    2
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   =                         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   =                                    2
pre_num   =                                    null
post_num   =                                   null
cn_hd_field   =                                null
cn_tl_field   =                                null
Unique Id   =                                  227
Begin Subtree                                   ConsNode__state
Begin Subtree                                    ConsNode__state
Begin Subtree                                     LetterId__state
kind   =                                          32
vlineno   =                                       2
pre_num   =                                       null
post_num   =                                      null
cn_hd_field   =                                   null
cn_tl_field   =                                   null
Unique Id   =                                     222
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   =                                    226
End Subtree                                      ConsNode__state
cn_tl_field   =                                 null
Unique Id   =                                   228
End Subtree                                     ConsNode__state
End Subtree already visited                     ConsNode__state
cn_hd_field   =                                 ConsNode__state
cn_tl_field   =                                 null
Unique Id   =                                   228
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   =                                235
End Subtree                                  ConsNode__state
End Subtree already visited                  ConsNode__state
cn_hd_field   =                              ApplicationNode__state
cn_tl_field   =                              null
Unique Id   =                                235
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   =                             238
End Subtree                               ConsNode__state
End Subtree already visited               ConsNode__state
cn_hd_field   =                           ApplicationNode__state
cn_tl_field   =                           null
Unique Id   =                             238
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   =                          241
End Subtree                            ConsNode__state
cn_tl_field   =                       null
Unique Id   =                         242
End Subtree                           ConsNode__state
Unique Id   =                        214
End Subtree                          ConsNode__state
End Subtree already visited          ConsNode__state
cn_hd_field   =                      ConsNode__state
cn_tl_field   =                      null
Unique Id   =                        242
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
fc_code_label   =                  null
End Subtree                        BlDenotationNode__state
Begin Subtree                      ListHeaderNode__state
kind   =                           0
vlineno   =                        2
pre_num   =                        null
post_num   =                       null
cn_hd_field   =                    null
cn_tl_field   =                    null
Unique Id   =                      256
Begin Subtree                       ConsNode__state
Begin Subtree                        ApplicationNode__state
kind   =                             13
vlineno   =                          2
pre_num   =                          null
post_num   =                         null
cn_hd_field   =                      null
cn_tl_field   =                      null
Unique Id   =                        255
Begin Subtree                         OpridNode__state
kind   =                              31
vlineno   =                           2
pre_num   =                           null
post_num   =                          null
cn_hd_field   =                       null
cn_tl_field   =                       null
Unique Id   =                         247
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   =                           2
pre_num   =                           null
post_num   =                          null
cn_hd_field   =                       null
cn_tl_field   =                       null
Unique Id   =                         253
Begin Subtree                          ConsNode__state
Begin Subtree                           UQStrNode__state
kind   =                                34
vlineno   =                             2
pre_num   =                             null
post_num   =                            null
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           249
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   =                          254
End Subtree                            ConsNode__state
End Subtree already visited            ConsNode__state
cn_hd_field   =                        UQStrNode__state
cn_tl_field   =                        null
Unique Id   =                          254
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   =                       257
End Subtree                         ConsNode__state
End Subtree already visited         ConsNode__state
cn_hd_field   =                     ApplicationNode__state
cn_tl_field   =                     null
Unique Id   =                       257
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   =                    260
End Subtree                      ConsNode__state
Begin Subtree                    BlDenotationNode__state
kind   =                         11
vlineno   =                      2
pre_num   =                      null
post_num   =                     null
cn_hd_field   =                  null
cn_tl_field   =                  null
Unique Id   =                    301
Begin Subtree                     ListHeaderNode__state
kind   =                          0
vlineno   =                       2
pre_num   =                       null
post_num   =                      null
cn_hd_field   =                   null
cn_tl_field   =                   null
Unique Id   =                     300
lh_first   =                      null
lh_last   =                       null
End Subtree                       ListHeaderNode__state
Begin Subtree                     ListHeaderNode__state
kind   =                          0
vlineno   =                       2
pre_num   =                       null
post_num   =                      null
cn_hd_field   =                   null
cn_tl_field   =                   null
Unique Id   =                     282
Begin Subtree                      ConsNode__state
Begin Subtree                       ConsNode__state
Begin Subtree                        ApplicationNode__state
kind   =                             13
vlineno   =                          2
pre_num   =                          null
post_num   =                         null
cn_hd_field   =                      null
cn_tl_field   =                      null
Unique Id   =                        279
Begin Subtree                         LetterId__state
kind   =                              32
vlineno   =                           2
pre_num   =                           null
post_num   =                          null
cn_hd_field   =                       null
cn_tl_field   =                       null
Unique Id   =                         261
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   =                           2
pre_num   =                           null
post_num   =                          null
cn_hd_field   =                       null
cn_tl_field   =                       null
Unique Id   =                         275
Begin Subtree                          ConsNode__state
Begin Subtree                           ConsNode__state
Begin Subtree                            ApplicationNode__state
kind   =                                 13
vlineno   =                              2
pre_num   =                              null
post_num   =                             null
cn_hd_field   =                          null
cn_tl_field   =                          null
Unique Id   =                            272
Begin Subtree                             LetterId__state
kind   =                                  32
vlineno   =                               2
pre_num   =                               null
post_num   =                              null
cn_hd_field   =                           null
cn_tl_field   =                           null
Unique Id   =                             264
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   =                               2
pre_num   =                               null
post_num   =                              null
cn_hd_field   =                           null
cn_tl_field   =                           null
Unique Id   =                             270
Begin Subtree                              ConsNode__state
Begin Subtree                               OpridNode__state
kind   =                                    31
vlineno   =                                 2
pre_num   =                                 null
post_num   =                                null
cn_hd_field   =                             null
cn_tl_field   =                             null
Unique Id   =                               267
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   =                              271
End Subtree                                ConsNode__state
End Subtree already visited                ConsNode__state
cn_hd_field   =                            OpridNode__state
cn_tl_field   =                            null
Unique Id   =                              271
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   =                           274
End Subtree                             ConsNode__state
cn_tl_field   =                        null
Unique Id   =                          276
End Subtree                            ConsNode__state
End Subtree already visited            ConsNode__state
cn_hd_field   =                        ConsNode__state
cn_tl_field   =                        null
Unique Id   =                          276
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   =                       281
End Subtree                         ConsNode__state
Begin Subtree                       ConsNode__state
Begin Subtree                        ConsNode__state
Begin Subtree                         ApplicationNode__state
kind   =                              13
vlineno   =                           2
pre_num   =                           null
post_num   =                          null
cn_hd_field   =                       null
cn_tl_field   =                       null
Unique Id   =                         296
Begin Subtree                          LetterId__state
kind   =                               32
vlineno   =                            2
pre_num   =                            null
post_num   =                           null
cn_hd_field   =                        null
cn_tl_field   =                        null
Unique Id   =                          284
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   =                            2
pre_num   =                            null
post_num   =                           null
cn_hd_field   =                        null
cn_tl_field   =                        null
Unique Id   =                          292
Begin Subtree                           ConsNode__state
Begin Subtree                            ConsNode__state
Begin Subtree                             QStrNode__state
kind   =                                  33
vlineno   =                               2
pre_num   =                               null
post_num   =                              null
cn_hd_field   =                           null
cn_tl_field   =                           null
Unique Id   =                             287
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   =                            291
End Subtree                              ConsNode__state
cn_tl_field   =                         null
Unique Id   =                           293
End Subtree                             ConsNode__state
End Subtree already visited             ConsNode__state
cn_hd_field   =                         ConsNode__state
cn_tl_field   =                         null
Unique Id   =                           293
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   =                        298
End Subtree                          ConsNode__state
cn_tl_field   =                     null
Unique Id   =                       299
End Subtree                         ConsNode__state
Unique Id   =                      283
End Subtree                        ConsNode__state
End Subtree already visited        ConsNode__state
cn_hd_field   =                    ConsNode__state
cn_tl_field   =                    null
Unique Id   =                      299
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
fc_code_label   =                null
End Subtree                      BlDenotationNode__state
End Subtree                     GuardedElementNode__state
cn_tl_field   =                null
Unique Id   =                  304
End Subtree                    ConsNode__state
End Subtree already visited    ConsNode__state
cn_hd_field   =                GuardedElementNode__state
cn_tl_field   =                null
Unique Id   =                  304
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   =               309
End Subtree                 ConsNode__state
cn_tl_field   =            null
Unique Id   =              311
End Subtree                ConsNode__state
End Subtree already visitedConsNode__state
cn_hd_field   =            ConsNode__state
cn_tl_field   =            null
Unique Id   =              311
End Subtree already visitedConsNode__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
fc_code_label   =        null
End Subtree              BlDenotationNode__state
cn_tl_field   =         null
Unique Id   =           316
End Subtree             ConsNode__state
cn_tl_field   =        null
Unique Id   =          318
End Subtree            ConsNode__state
End Subtree already visConsNode__state
cn_hd_field   =        ConsNode__state
cn_tl_field   =        null
Unique Id   =          318
End Subtree already visConsNode__state
End Subtree           ListHeaderNode__state
bld_precedence   =   15
bld_flags   =        16
fc_code_label   =    null
End Subtree          BlDenotationNode__state
END DUMP OF TREE AFTER FIXUP
DUMP OF TREE AFTER CHECKING SUGNATURES
Begin Subtree        BlDenotationNode__state
kind   =             11
vlineno   =          1
pre_num   =          1
post_num   =         1
cn_hd_field   =      null
cn_tl_field   =      null
Unique Id   =        50
Begin Subtree         ListHeaderNode__state
kind   =              0
vlineno   =           1
pre_num   =           null
post_num   =          null
cn_hd_field   =       null
cn_tl_field   =       null
Unique Id   =         49
lh_first   =          null
lh_last   =           null
End Subtree           ListHeaderNode__state
sig_done   =         null
ar_size   =          null
ar_static_link   =   null
ar_static_level   =  null
bld_declaration_list null
Begin Subtree         ListHeaderNode__state
kind   =              0
vlineno   =           2
pre_num   =           null
post_num   =          null
cn_hd_field   =       null
cn_tl_field   =       null
Unique Id   =         317
Begin Subtree          ConsNode__state
Begin Subtree           ConsNode__state
Begin Subtree            BlDenotationNode__state
kind   =                 11
vlineno   =              2
pre_num   =              null
post_num   =             null
cn_hd_field   =          null
cn_tl_field   =          null
Unique Id   =            312
Begin Subtree             ListHeaderNode__state
kind   =                  0
vlineno   =               2
pre_num   =               null
post_num   =              null
cn_hd_field   =           null
cn_tl_field   =           null
Unique Id   =             197
lh_first   =              null
lh_last   =               null
End Subtree               ListHeaderNode__state
Begin Subtree             ListHeaderNode__state
kind   =                  0
vlineno   =               2
pre_num   =               null
post_num   =              null
cn_hd_field   =           null
cn_tl_field   =           null
Unique Id   =             310
Begin Subtree              ConsNode__state
Begin Subtree               ConsNode__state
Begin Subtree                LoopDenotationNode__state
kind   =                     29
vlineno   =                  2
pre_num   =                  null
post_num   =                 null
cn_hd_field   =              null
cn_tl_field   =              null
Unique Id   =                305
Begin Subtree                 ListHeaderNode__state
kind   =                      0
vlineno   =                   2
pre_num   =                   null
post_num   =                  null
cn_hd_field   =               null
cn_tl_field   =               null
Unique Id   =                 303
Begin Subtree                  ConsNode__state
Begin Subtree                   GuardedElementNode__state
kind   =                        30
vlineno   =                     2
pre_num   =                     null
post_num   =                    null
cn_hd_field   =                 null
cn_tl_field   =                 null
Unique Id   =                   302
Begin Subtree                    ConsNode__state
Begin Subtree                     ApplicationNode__state
kind   =                          13
vlineno   =                       2
pre_num   =                       null
post_num   =                      null
cn_hd_field   =                   null
cn_tl_field   =                   null
Unique Id   =                     258
Begin Subtree                      BlDenotationNode__state
kind   =                           11
vlineno   =                        2
pre_num   =                        null
post_num   =                       null
cn_hd_field   =                    null
cn_tl_field   =                    null
Unique Id   =                      244
Begin Subtree                       ListHeaderNode__state
kind   =                            0
vlineno   =                         2
pre_num   =                         null
post_num   =                        null
cn_hd_field   =                     null
cn_tl_field   =                     null
Unique Id   =                       243
lh_first   =                        null
lh_last   =                         null
End Subtree                         ListHeaderNode__state
Begin Subtree                       ListHeaderNode__state
kind   =                            0
vlineno   =                         2
pre_num   =                         null
post_num   =                        null
cn_hd_field   =                     null
cn_tl_field   =                     null
Unique Id   =                       213
Begin Subtree                        ConsNode__state
Begin Subtree                         ConsNode__state
Begin Subtree                          ApplicationNode__state
kind   =                               13
vlineno   =                            2
pre_num   =                            null
post_num   =                           null
cn_hd_field   =                        null
cn_tl_field   =                        null
Unique Id   =                          210
Begin Subtree                           LetterId__state
kind   =                                32
vlineno   =                             2
pre_num   =                             null
post_num   =                            null
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           198
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   =                             2
pre_num   =                             null
post_num   =                            null
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           206
Begin Subtree                            ConsNode__state
Begin Subtree                             ConsNode__state
Begin Subtree                              QStrNode__state
kind   =                                   33
vlineno   =                                2
pre_num   =                                null
post_num   =                               null
cn_hd_field   =                            null
cn_tl_field   =                            null
Unique Id   =                              201
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   =                             205
End Subtree                               ConsNode__state
cn_tl_field   =                          null
Unique Id   =                            207
End Subtree                              ConsNode__state
End Subtree already visited              ConsNode__state
cn_hd_field   =                          ConsNode__state
cn_tl_field   =                          null
Unique Id   =                            207
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   =                         212
End Subtree                           ConsNode__state
Begin Subtree                         ConsNode__state
Begin Subtree                          ConsNode__state
Begin Subtree                           ApplicationNode__state
kind   =                                13
vlineno   =                             2
pre_num   =                             null
post_num   =                            null
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           239
Begin Subtree                            LetterId__state
kind   =                                 32
vlineno   =                              2
pre_num   =                              null
post_num   =                             null
cn_hd_field   =                          null
cn_tl_field   =                          null
Unique Id   =                            215
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   =                              2
pre_num   =                              null
post_num   =                             null
cn_hd_field   =                          null
cn_tl_field   =                          null
Unique Id   =                            237
Begin Subtree                             ConsNode__state
Begin Subtree                              ApplicationNode__state
kind   =                                   13
vlineno   =                                2
pre_num   =                                null
post_num   =                               null
cn_hd_field   =                            null
cn_tl_field   =                            null
Unique Id   =                              236
Begin Subtree                               OpridNode__state
kind   =                                    31
vlineno   =                                 2
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                                 OpridNode__state
Begin Subtree                               ListHeaderNode__state
kind   =                                    0
vlineno   =                                 2
pre_num   =                                 null
post_num   =                                null
cn_hd_field   =                             null
cn_tl_field   =                             null
Unique Id   =                               234
Begin Subtree                                ConsNode__state
Begin Subtree                                 ApplicationNode__state
kind   =                                      13
vlineno   =                                   2
pre_num   =                                   null
post_num   =                                  null
cn_hd_field   =                               null
cn_tl_field   =                               null
Unique Id   =                                 233
Begin Subtree                                  LetterId__state
kind   =                                       32
vlineno   =                                    2
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   =                         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   =                                    2
pre_num   =                                    null
post_num   =                                   null
cn_hd_field   =                                null
cn_tl_field   =                                null
Unique Id   =                                  227
Begin Subtree                                   ConsNode__state
Begin Subtree                                    ConsNode__state
Begin Subtree                                     LetterId__state
kind   =                                          32
vlineno   =                                       2
pre_num   =                                       null
post_num   =                                      null
cn_hd_field   =                                   null
cn_tl_field   =                                   null
Unique Id   =                                     222
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   =                                    226
End Subtree                                      ConsNode__state
cn_tl_field   =                                 null
Unique Id   =                                   228
End Subtree                                     ConsNode__state
End Subtree already visited                     ConsNode__state
cn_hd_field   =                                 ConsNode__state
cn_tl_field   =                                 null
Unique Id   =                                   228
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   =                                235
End Subtree                                  ConsNode__state
End Subtree already visited                  ConsNode__state
cn_hd_field   =                              ApplicationNode__state
cn_tl_field   =                              null
Unique Id   =                                235
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   =                             238
End Subtree                               ConsNode__state
End Subtree already visited               ConsNode__state
cn_hd_field   =                           ApplicationNode__state
cn_tl_field   =                           null
Unique Id   =                             238
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   =                          241
End Subtree                            ConsNode__state
cn_tl_field   =                       null
Unique Id   =                         242
End Subtree                           ConsNode__state
Unique Id   =                        214
End Subtree                          ConsNode__state
End Subtree already visited          ConsNode__state
cn_hd_field   =                      ConsNode__state
cn_tl_field   =                      null
Unique Id   =                        242
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
fc_code_label   =                  null
End Subtree                        BlDenotationNode__state
Begin Subtree                      ListHeaderNode__state
kind   =                           0
vlineno   =                        2
pre_num   =                        null
post_num   =                       null
cn_hd_field   =                    null
cn_tl_field   =                    null
Unique Id   =                      256
Begin Subtree                       ConsNode__state
Begin Subtree                        ApplicationNode__state
kind   =                             13
vlineno   =                          2
pre_num   =                          null
post_num   =                         null
cn_hd_field   =                      null
cn_tl_field   =                      null
Unique Id   =                        255
Begin Subtree                         OpridNode__state
kind   =                              31
vlineno   =                           2
pre_num   =                           null
post_num   =                          null
cn_hd_field   =                       null
cn_tl_field   =                       null
Unique Id   =                         247
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   =                           2
pre_num   =                           null
post_num   =                          null
cn_hd_field   =                       null
cn_tl_field   =                       null
Unique Id   =                         253
Begin Subtree                          ConsNode__state
Begin Subtree                           UQStrNode__state
kind   =                                34
vlineno   =                             2
pre_num   =                             null
post_num   =                            null
cn_hd_field   =                         null
cn_tl_field   =                         null
Unique Id   =                           249
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   =                          254
End Subtree                            ConsNode__state
End Subtree already visited            ConsNode__state
cn_hd_field   =                        UQStrNode__state
cn_tl_field   =                        null
Unique Id   =                          254
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   =                       257
End Subtree                         ConsNode__state
End Subtree already visited         ConsNode__state
cn_hd_field   =                     ApplicationNode__state
cn_tl_field   =                     null
Unique Id   =                       257
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   =                    260
End Subtree                      ConsNode__state
Begin Subtree                    BlDenotationNode__state
kind   =                         11
vlineno   =                      2
pre_num   =                      null
post_num   =                     null
cn_hd_field   =                  null
cn_tl_field   =                  null
Unique Id   =                    301
Begin Subtree                     ListHeaderNode__state
kind   =                          0
vlineno   =                       2
pre_num   =                       null
post_num   =                      null
cn_hd_field   =                   null
cn_tl_field   =                   null
Unique Id   =                     300
lh_first   =                      null
lh_last   =                       null
End Subtree                       ListHeaderNode__state
Begin Subtree                     ListHeaderNode__state
kind   =                          0
vlineno   =                       2
pre_num   =                       null
post_num   =                      null
cn_hd_field   =                   null
cn_tl_field   =                   null
Unique Id   =                     282
Begin Subtree                      ConsNode__state
Begin Subtree                       ConsNode__state
Begin Subtree                        ApplicationNode__state
kind   =                             13
vlineno   =                          2
pre_num   =                          null
post_num   =                         null
cn_hd_field   =                      null
cn_tl_field   =                      null
Unique Id   =                        279
Begin Subtree                         LetterId__state
kind   =                              32
vlineno   =                           2
pre_num   =                           null
post_num   =                          null
cn_hd_field   =                       null
cn_tl_field   =                       null
Unique Id   =                         261
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   =                           2
pre_num   =                           null
post_num   =                          null
cn_hd_field   =                       null
cn_tl_field   =                       null
Unique Id   =                         275
Begin Subtree                          ConsNode__state
Begin Subtree                           ConsNode__state
Begin Subtree                            ApplicationNode__state
kind   =                                 13
vlineno   =                              2
pre_num   =                              null
post_num   =                             null
cn_hd_field   =                          null
cn_tl_field   =                          null
Unique Id   =                            272
Begin Subtree                             LetterId__state
kind   =                                  32
vlineno   =                               2
pre_num   =                               null
post_num   =                              null
cn_hd_field   =                           null
cn_tl_field   =                           null
Unique Id   =                             264
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   =                               2
pre_num   =                               null
post_num   =                              null
cn_hd_field   =                           null
cn_tl_field   =                           null
Unique Id   =                             270
Begin Subtree                              ConsNode__state
Begin Subtree                               OpridNode__state
kind   =                                    31
vlineno   =                                 2
pre_num   =                                 null
post_num   =                                null
cn_hd_field   =                             null
cn_tl_field   =                             null
Unique Id   =                               267
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   =                              271
End Subtree                                ConsNode__state
End Subtree already visited                ConsNode__state
cn_hd_field   =                            OpridNode__state
cn_tl_field   =                            null
Unique Id   =                              271
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   =                           274
End Subtree                             ConsNode__state
cn_tl_field   =                        null
Unique Id   =                          276
End Subtree                            ConsNode__state
End Subtree already visited            ConsNode__state
cn_hd_field   =                        ConsNode__state
cn_tl_field   =                        null
Unique Id   =                          276
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   =                       281
End Subtree                         ConsNode__state
Begin Subtree                       ConsNode__state
Begin Subtree                        ConsNode__state
Begin Subtree                         ApplicationNode__state
kind   =                              13
vlineno   =                           2
pre_num   =                           null
post_num   =                          null
cn_hd_field   =                       null
cn_tl_field   =                       null
Unique Id   =                         296
Begin Subtree                          LetterId__state
kind   =                               32
vlineno   =                            2
pre_num   =                            null
post_num   =                           null
cn_hd_field   =                        null
cn_tl_field   =                        null
Unique Id   =                          284
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   =                            2
pre_num   =                            null
post_num   =                           null
cn_hd_field   =                        null
cn_tl_field   =                        null
Unique Id   =                          292
Begin Subtree                           ConsNode__state
Begin Subtree                            ConsNode__state
Begin Subtree                             QStrNode__state
kind   =                                  33
vlineno   =                               2
pre_num   =                               null
post_num   =                              null
cn_hd_field   =                           null
cn_tl_field   =                           null
Unique Id   =                             287
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   =                            291
End Subtree                              ConsNode__state
cn_tl_field   =                         null
Unique Id   =                           293
End Subtree                             ConsNode__state
End Subtree already visited             ConsNode__state
cn_hd_field   =                         ConsNode__state
cn_tl_field   =                         null
Unique Id   =                           293
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   =                        298
End Subtree                          ConsNode__state
cn_tl_field   =                     null
Unique Id   =                       299
End Subtree                         ConsNode__state
Unique Id   =                      283
End Subtree                        ConsNode__state
End Subtree already visited        ConsNode__state
cn_hd_field   =                    ConsNode__state
cn_tl_field   =                    null
Unique Id   =                      299
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
fc_code_label   =                null
End Subtree                      BlDenotationNode__state
End Subtree                     GuardedElementNode__state
cn_tl_field   =                null
Unique Id   =                  304
End Subtree                    ConsNode__state
End Subtree already visited    ConsNode__state
cn_hd_field   =                GuardedElementNode__state
cn_tl_field   =                null
Unique Id   =                  304
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   =               309
End Subtree                 ConsNode__state
cn_tl_field   =            null
Unique Id   =              311
End Subtree                ConsNode__state
End Subtree already visitedConsNode__state
cn_hd_field   =            ConsNode__state
cn_tl_field   =            null
Unique Id   =              311
End Subtree already visitedConsNode__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
fc_code_label   =        null
End Subtree              BlDenotationNode__state
cn_tl_field   =         null
Unique Id   =           316
End Subtree             ConsNode__state
cn_tl_field   =        null
Unique Id   =          318
End Subtree            ConsNode__state
End Subtree already visConsNode__state
cn_hd_field   =        ConsNode__state
cn_tl_field   =        null
Unique Id   =          318
End Subtree already visConsNode__state
End Subtree           ListHeaderNode__state
bld_precedence   =   15
bld_flags   =        16
fc_code_label   =    null
End Subtree          BlDenotationNode__state
END DUMP OF TREE AFTER CHECKING SIGNATURES
