add_active(\7f340,10527
parse(\7f353,10949
derived_analyses(\7f364,11341
-build(\7f378,11965
-buildact(\7f392,12521
-mapsyn(\7f412,13542
-add_edge(\7f434,14278
-findcats(\7f447,14758
-normalize_tree(\7f465,15478
-normalize_trees(\7f475,15856
-expandmng_tree(\7f486,16248
-expandmng_trees(\7f496,16614
-cat(\7f511,17013
-subtree(\7f644,21266
-hypothetical_mem(\7f653,21565
-make_coor(\7f667,22130
-start_up:-\7fstart_up\ 1688,23013
-tokenizeatom(\7f710,23921
-tokenize(\7f720,24348
-isoperator(\7f752,25377
-isoptab(\7f756,25431
-specialsymbol(\7f765,25756
-sstab(\7f771,25861
-parse_cgi(\7f787,26347
-keyvalseq(\7f792,26510
-andkeyvalseq(\7f796,26609
-keyval(\7f799,26688
-valseq(\7f807,26920
-plusvalseq(\7f810,27007
-val(\7f816,27109
-argvals(\7f824,27426
-commaargvals(\7f828,27503
-atomval(\7f833,27578
-atom(\7f836,27640
-action(\7f846,28004
-keyvalcgi(\7f864,28649
-keyvalscgi(\7f865,28670
-outsyn(\7f868,28726
-act(\7f876,29060
-actout(\7f901,29906
-texttreelist(\7f912,30089
-htmltreelist(\7f918,30190
-fitchtreelist(\7f924,30304
-pp_html_table_tree(\7f938,30759
-pp_html_tree(\7f949,31113
-pp_html_trees(\7f988,32381
-pp_html_table_fitch_tree(\7f999,32769
-pp_html_fitch_tree(\7f1017,33672
-removeexp(\7f1129,39002
-splitexp(\7f1142,39490
-pp_exp(\7f1155,39990
-map_word(\7f1168,40249
-pp_exps(\7f1180,40474
-pp_tree(\7f1188,40777
-pp_trees(\7f1216,41807
-pp_word_list(\7f1225,42128
-pp_word(\7f1231,42262
-pp_word_list_rest(\7f1238,42569
-pp_cat(\7f1248,42929
-pp_syn(\7f1255,43196
-pp_syn_paren(\7f1276,43899
-pp_paren(\7f1293,44377
-pp_syn_back(\7f1300,44661
-pp_bas_cat(\7f1311,45001
-writecat(\7f1322,45409
-writesubs(\7f1351,46455
-writesups(\7f1361,46757
-writelistsubs(\7f1371,47090
-pp_lam(\7f1380,47408
-pp_lam_bracket(\7f1398,48022
-pp_lam_paren(\7f1407,48338
-pp_rule(\7f1429,49238
-member(\7f1447,49866
-append_list(\7f1451,49919
-append(\7f1456,50010
-at_least_one_member(\7f1460,50076
-numbervars(\7f1464,50171
-reverse(\7f1467,50209
-select(\7f1471,50290
-select_last(\7f1475,50357
-cat_atoms(\7f1479,50436
-writelist(\7f1485,50524
-write_lex_cat(\7f1492,50676
-writebreaklex(\7f1500,50988
-write_lex(\7f1513,51265
-writebreak(\7f1521,51541
-tt:-\7ftt\ 11531,51713
-mt:-\7fmt\ 11534,51784
-cmt:-\7fcmt\ 11537,51878
+build(\7f378,11967
+buildact(\7f392,12523
+mapsyn(\7f412,13544
+add_edge(\7f434,14280
+findcats(\7f447,14760
+normalize_tree(\7f465,15480
+normalize_trees(\7f475,15858
+expandmng_tree(\7f486,16250
+expandmng_trees(\7f496,16616
+cat(\7f511,17015
+subtree(\7f644,21268
+hypothetical_mem(\7f653,21567
+make_coor(\7f667,22132
+start_up:-\7fstart_up\ 1688,23015
+tokenizeatom(\7f710,23923
+tokenize(\7f720,24350
+isoperator(\7f752,25379
+isoptab(\7f756,25433
+specialsymbol(\7f765,25758
+sstab(\7f771,25863
+parse_cgi(\7f787,26349
+keyvalseq(\7f792,26512
+andkeyvalseq(\7f796,26611
+keyval(\7f799,26690
+valseq(\7f807,26922
+plusvalseq(\7f810,27009
+val(\7f816,27111
+argvals(\7f824,27428
+commaargvals(\7f828,27505
+atomval(\7f833,27580
+atom(\7f836,27642
+action(\7f846,28006
+keyvalcgi(\7f864,28651
+keyvalscgi(\7f865,28672
+outsyn(\7f868,28728
+act(\7f876,29062
+actout(\7f901,29908
+texttreelist(\7f912,30091
+htmltreelist(\7f918,30192
+fitchtreelist(\7f924,30306
+pp_html_table_tree(\7f938,30761
+pp_html_tree(\7f949,31115
+pp_html_trees(\7f988,32383
+pp_html_table_fitch_tree(\7f999,32771
+pp_html_fitch_tree(\7f1017,33674
+removeexp(\7f1129,39004
+splitexp(\7f1142,39492
+pp_exp(\7f1155,39992
+map_word(\7f1168,40251
+pp_exps(\7f1180,40476
+pp_tree(\7f1188,40779
+pp_trees(\7f1216,41809
+pp_word_list(\7f1225,42130
+pp_word(\7f1231,42264
+pp_word_list_rest(\7f1238,42571
+pp_cat(\7f1248,42931
+pp_syn(\7f1255,43198
+pp_syn_paren(\7f1276,43901
+pp_paren(\7f1293,44379
+pp_syn_back(\7f1300,44663
+pp_bas_cat(\7f1311,45003
+writecat(\7f1322,45411
+writesubs(\7f1351,46457
+writesups(\7f1361,46759
+writelistsubs(\7f1371,47092
+pp_lam(\7f1380,47410
+pp_lam_bracket(\7f1398,48024
+pp_lam_paren(\7f1407,48340
+pp_rule(\7f1429,49240
+member(\7f1447,49868
+append_list(\7f1451,49921
+append(\7f1456,50012
+at_least_one_member(\7f1460,50078
+numbervars(\7f1464,50173
+reverse(\7f1467,50211
+select(\7f1471,50292
+select_last(\7f1475,50359
+cat_atoms(\7f1479,50438
+writelist(\7f1485,50526
+write_lex_cat(\7f1492,50678
+writebreaklex(\7f1500,50990
+write_lex(\7f1513,51267
+writebreak(\7f1521,51543
+tt:-\7ftt\ 11531,51715
+mt:-\7fmt\ 11534,51786
+cmt:-\7fcmt\ 11537,51880
\f
pyt-src/server.py,1438
class Controls:\7fControls\ 117,358
:- func initialize_goal_store\7f570,22060
:- pred accu_store\7f580,22421
:- pred identify_recursive_calls\7f601,23288
-:- pred identify_out_and_out_prime\7f626,24396
-:- type accu_sets\7f676,26425
-:- pred accu_stage1\7f689,26977
-:- pred accu_stage1_2\7f727,28347
-:- pred accu_sets_init\7f781,30557
-:- func set_upto\7f796,30984
-:- pred accu_before\7f812,31498
-:- pred accu_assoc\7f835,32477
-:- pred accu_construct\7f862,33712
-:- pred accu_construct_assoc\7f896,35307
-:- pred accu_update\7f938,37069
-:- pred member_lessthan_goalid\7f964,38219
-:- type accu_assoc\7f975,38652
-:- pred accu_is_associative\7f986,39138
-:- pred associativity_assertion\7f1014,40263
-:- pred commutativity_assertion\7f1037,41242
-:- pred accu_is_update\7f1057,41952
-:- pred is_associative_construction\7f1078,42802
-:- type accu_substs\7f1095,43480
-:- type accu_base\7f1103,43744
-:- pred accu_stage2\7f1124,44605
-:- pred accu_substs_init\7f1179,46957
-:- pred acc_var_subst_init\7f1194,47573
-:- pred create_new_var\7f1207,48147
-:- pred accu_process_assoc_set\7f1223,48862
-:- pred accu_has_heuristic\7f1297,52081
-:- pred accu_heuristic\7f1304,52336
-:- pred accu_process_update_set\7f1318,52906
-:- pred accu_divide_base_case\7f1380,55844
-:- pred accu_related\7f1412,57146
-:- inst stored_goal_plain_call\7f1444,58415
-:- pred lookup_call\7f1449,58601
-:- pred accu_stage3\7f1470,59432
-:- pred acc_proc_info\7f1508,61326
-:- pred acc_pred_info\7f1556,63449
-:- pred accu_create_goal\7f1600,65285
-:- func create_acc_call\7f1621,66400
-:- pred create_orig_goal\7f1634,66987
-:- pred create_acc_goal\7f1662,68157
-:- func create_new_orig_recursive_goals\7f1709,70225
-:- func create_new_recursive_goals\7f1723,70918
-:- func create_new_base_goals\7f1738,71717
-:- pred acc_unification\7f1749,72156
-:- pred accu_top_level\7f1766,72896
-:- pred update_accumulator_pred\7f1856,76290
-:- func accu_rename\7f1876,77253
-:- func base_case_ids\7f1889,77784
-:- func base_case_ids_set\7f1898,78048
-:- func accu_goal_list\7f1905,78269
-:- pred calculate_goal_info\7f1916,78680
-:- func chain_subst\7f1932,79319
-:- pred chain_subst_2\7f1938,79482
-:- some [T] pred unravel_univ\7f1956,80060
-:- pragma foreign_export\7f1957,80116
+:- pred identify_out_and_out_prime\7f626,24397
+:- type accu_sets\7f676,26426
+:- pred accu_stage1\7f689,26978
+:- pred accu_stage1_2\7f727,28348
+:- pred accu_sets_init\7f781,30558
+:- func set_upto\7f796,30985
+:- pred accu_before\7f812,31499
+:- pred accu_assoc\7f835,32478
+:- pred accu_construct\7f862,33713
+:- pred accu_construct_assoc\7f896,35308
+:- pred accu_update\7f938,37070
+:- pred member_lessthan_goalid\7f964,38220
+:- type accu_assoc\7f975,38653
+:- pred accu_is_associative\7f986,39139
+:- pred associativity_assertion\7f1014,40264
+:- pred commutativity_assertion\7f1037,41243
+:- pred accu_is_update\7f1057,41953
+:- pred is_associative_construction\7f1078,42803
+:- type accu_substs\7f1095,43481
+:- type accu_base\7f1103,43745
+:- pred accu_stage2\7f1124,44606
+:- pred accu_substs_init\7f1179,46958
+:- pred acc_var_subst_init\7f1194,47574
+:- pred create_new_var\7f1207,48148
+:- pred accu_process_assoc_set\7f1223,48863
+:- pred accu_has_heuristic\7f1297,52082
+:- pred accu_heuristic\7f1304,52337
+:- pred accu_process_update_set\7f1318,52907
+:- pred accu_divide_base_case\7f1380,55845
+:- pred accu_related\7f1412,57147
+:- inst stored_goal_plain_call\7f1444,58416
+:- pred lookup_call\7f1449,58602
+:- pred accu_stage3\7f1470,59433
+:- pred acc_proc_info\7f1508,61327
+:- pred acc_pred_info\7f1556,63450
+:- pred accu_create_goal\7f1600,65286
+:- func create_acc_call\7f1621,66401
+:- pred create_orig_goal\7f1634,66988
+:- pred create_acc_goal\7f1662,68158
+:- func create_new_orig_recursive_goals\7f1709,70226
+:- func create_new_recursive_goals\7f1723,70919
+:- func create_new_base_goals\7f1738,71718
+:- pred acc_unification\7f1749,72157
+:- pred accu_top_level\7f1766,72897
+:- pred update_accumulator_pred\7f1856,76291
+:- func accu_rename\7f1876,77254
+:- func base_case_ids\7f1889,77785
+:- func base_case_ids_set\7f1898,78049
+:- func accu_goal_list\7f1905,78270
+:- pred calculate_goal_info\7f1916,78681
+:- func chain_subst\7f1932,79320
+:- pred chain_subst_2\7f1938,79483
+:- some [T] pred unravel_univ\7f1956,80061
+:- pragma foreign_export\7f1957,80117
\f
c-src/c.c,76
T f(\7f1,0
add_active(\7f340,10527
parse(\7f353,10949
derived_analyses(\7f364,11341
-build(\7f378,11965
-buildact(\7f392,12521
-mapsyn(\7f412,13542
-add_edge(\7f434,14278
-findcats(\7f447,14758
-normalize_tree(\7f465,15478
-normalize_trees(\7f475,15856
-expandmng_tree(\7f486,16248
-expandmng_trees(\7f496,16614
-cat(\7f511,17013
-subtree(\7f644,21266
-hypothetical_mem(\7f653,21565
-make_coor(\7f667,22130
-start_up:-\7fstart_up\ 1688,23013
-tokenizeatom(\7f710,23921
-tokenize(\7f720,24348
-isoperator(\7f752,25377
-isoptab(\7f756,25431
-specialsymbol(\7f765,25756
-sstab(\7f771,25861
-parse_cgi(\7f787,26347
-keyvalseq(\7f792,26510
-andkeyvalseq(\7f796,26609
-keyval(\7f799,26688
-valseq(\7f807,26920
-plusvalseq(\7f810,27007
-val(\7f816,27109
-argvals(\7f824,27426
-commaargvals(\7f828,27503
-atomval(\7f833,27578
-atom(\7f836,27640
-action(\7f846,28004
-keyvalcgi(\7f864,28649
-keyvalscgi(\7f865,28670
-outsyn(\7f868,28726
-act(\7f876,29060
-actout(\7f901,29906
-texttreelist(\7f912,30089
-htmltreelist(\7f918,30190
-fitchtreelist(\7f924,30304
-pp_html_table_tree(\7f938,30759
-pp_html_tree(\7f949,31113
-pp_html_trees(\7f988,32381
-pp_html_table_fitch_tree(\7f999,32769
-pp_html_fitch_tree(\7f1017,33672
-removeexp(\7f1129,39002
-splitexp(\7f1142,39490
-pp_exp(\7f1155,39990
-map_word(\7f1168,40249
-pp_exps(\7f1180,40474
-pp_tree(\7f1188,40777
-pp_trees(\7f1216,41807
-pp_word_list(\7f1225,42128
-pp_word(\7f1231,42262
-pp_word_list_rest(\7f1238,42569
-pp_cat(\7f1248,42929
-pp_syn(\7f1255,43196
-pp_syn_paren(\7f1276,43899
-pp_paren(\7f1293,44377
-pp_syn_back(\7f1300,44661
-pp_bas_cat(\7f1311,45001
-writecat(\7f1322,45409
-writesubs(\7f1351,46455
-writesups(\7f1361,46757
-writelistsubs(\7f1371,47090
-pp_lam(\7f1380,47408
-pp_lam_bracket(\7f1398,48022
-pp_lam_paren(\7f1407,48338
-pp_rule(\7f1429,49238
-member(\7f1447,49866
-append_list(\7f1451,49919
-append(\7f1456,50010
-at_least_one_member(\7f1460,50076
-numbervars(\7f1464,50171
-reverse(\7f1467,50209
-select(\7f1471,50290
-select_last(\7f1475,50357
-cat_atoms(\7f1479,50436
-writelist(\7f1485,50524
-write_lex_cat(\7f1492,50676
-writebreaklex(\7f1500,50988
-write_lex(\7f1513,51265
-writebreak(\7f1521,51541
-tt:-\7ftt\ 11531,51713
-mt:-\7fmt\ 11534,51784
-cmt:-\7fcmt\ 11537,51878
+build(\7f378,11967
+buildact(\7f392,12523
+mapsyn(\7f412,13544
+add_edge(\7f434,14280
+findcats(\7f447,14760
+normalize_tree(\7f465,15480
+normalize_trees(\7f475,15858
+expandmng_tree(\7f486,16250
+expandmng_trees(\7f496,16616
+cat(\7f511,17015
+subtree(\7f644,21268
+hypothetical_mem(\7f653,21567
+make_coor(\7f667,22132
+start_up:-\7fstart_up\ 1688,23015
+tokenizeatom(\7f710,23923
+tokenize(\7f720,24350
+isoperator(\7f752,25379
+isoptab(\7f756,25433
+specialsymbol(\7f765,25758
+sstab(\7f771,25863
+parse_cgi(\7f787,26349
+keyvalseq(\7f792,26512
+andkeyvalseq(\7f796,26611
+keyval(\7f799,26690
+valseq(\7f807,26922
+plusvalseq(\7f810,27009
+val(\7f816,27111
+argvals(\7f824,27428
+commaargvals(\7f828,27505
+atomval(\7f833,27580
+atom(\7f836,27642
+action(\7f846,28006
+keyvalcgi(\7f864,28651
+keyvalscgi(\7f865,28672
+outsyn(\7f868,28728
+act(\7f876,29062
+actout(\7f901,29908
+texttreelist(\7f912,30091
+htmltreelist(\7f918,30192
+fitchtreelist(\7f924,30306
+pp_html_table_tree(\7f938,30761
+pp_html_tree(\7f949,31115
+pp_html_trees(\7f988,32383
+pp_html_table_fitch_tree(\7f999,32771
+pp_html_fitch_tree(\7f1017,33674
+removeexp(\7f1129,39004
+splitexp(\7f1142,39492
+pp_exp(\7f1155,39992
+map_word(\7f1168,40251
+pp_exps(\7f1180,40476
+pp_tree(\7f1188,40779
+pp_trees(\7f1216,41809
+pp_word_list(\7f1225,42130
+pp_word(\7f1231,42264
+pp_word_list_rest(\7f1238,42571
+pp_cat(\7f1248,42931
+pp_syn(\7f1255,43198
+pp_syn_paren(\7f1276,43901
+pp_paren(\7f1293,44379
+pp_syn_back(\7f1300,44663
+pp_bas_cat(\7f1311,45003
+writecat(\7f1322,45411
+writesubs(\7f1351,46457
+writesups(\7f1361,46759
+writelistsubs(\7f1371,47092
+pp_lam(\7f1380,47410
+pp_lam_bracket(\7f1398,48024
+pp_lam_paren(\7f1407,48340
+pp_rule(\7f1429,49240
+member(\7f1447,49868
+append_list(\7f1451,49921
+append(\7f1456,50012
+at_least_one_member(\7f1460,50078
+numbervars(\7f1464,50173
+reverse(\7f1467,50211
+select(\7f1471,50292
+select_last(\7f1475,50359
+cat_atoms(\7f1479,50438
+writelist(\7f1485,50526
+write_lex_cat(\7f1492,50678
+writebreaklex(\7f1500,50990
+write_lex(\7f1513,51267
+writebreak(\7f1521,51543
+tt:-\7ftt\ 11531,51715
+mt:-\7fmt\ 11534,51786
+cmt:-\7fcmt\ 11537,51880
\f
pyt-src/server.py,1438
class Controls:\7fControls\ 117,358
accu_store\7f584,22576
:- pred identify_recursive_calls\7f601,23288
identify_recursive_calls\7f604,23406
-:- pred identify_out_and_out_prime\7f626,24396
-identify_out_and_out_prime\7f631,24631
-:- type accu_sets\7f676,26425
-:- pred accu_stage1\7f689,26977
-accu_stage1\7f693,27155
-:- pred accu_stage1_2\7f727,28347
-accu_stage1_2\7f731,28515
-:- pred accu_sets_init\7f781,30557
-accu_sets_init\7f783,30605
-:- func set_upto\7f796,30984
-set_upto\7f798,31039
-:- pred accu_before\7f812,31498
-accu_before\7f815,31639
-:- pred accu_assoc\7f835,32477
-accu_assoc\7f838,32617
-:- pred accu_construct\7f862,33712
-accu_construct\7f865,33856
-:- pred accu_construct_assoc\7f896,35307
-accu_construct_assoc\7f899,35457
-:- pred accu_update\7f938,37069
-accu_update\7f941,37210
-:- pred member_lessthan_goalid\7f964,38219
-member_lessthan_goalid\7f967,38342
-:- type accu_assoc\7f975,38652
-:- pred accu_is_associative\7f986,39138
-accu_is_associative\7f989,39250
-:- pred associativity_assertion\7f1014,40263
-associativity_assertion\7f1017,40404
-:- pred commutativity_assertion\7f1037,41242
-commutativity_assertion\7f1040,41369
-:- pred accu_is_update\7f1057,41952
-accu_is_update\7f1060,42066
-:- pred is_associative_construction\7f1078,42802
-is_associative_construction\7f1081,42898
-:- type accu_substs\7f1095,43480
-:- type accu_base\7f1103,43744
-:- pred accu_stage2\7f1124,44605
-accu_stage2\7f1131,44946
-:- pred accu_substs_init\7f1179,46957
-accu_substs_init\7f1182,47097
-:- pred acc_var_subst_init\7f1194,47573
-acc_var_subst_init\7f1198,47718
-:- pred create_new_var\7f1207,48147
-create_new_var\7f1210,48288
-:- pred accu_process_assoc_set\7f1223,48862
-accu_process_assoc_set\7f1229,49150
-:- pred accu_has_heuristic\7f1297,52081
-accu_has_heuristic\7f1299,52161
-:- pred accu_heuristic\7f1304,52336
-accu_heuristic\7f1307,52457
-:- pred accu_process_update_set\7f1318,52906
-accu_process_update_set\7f1325,53221
-:- pred accu_divide_base_case\7f1380,55844
-accu_divide_base_case\7f1385,56059
-:- pred accu_related\7f1412,57146
-accu_related\7f1415,57270
-:- inst stored_goal_plain_call\7f1444,58415
-:- pred lookup_call\7f1449,58601
-lookup_call\7f1452,58715
-:- pred accu_stage3\7f1470,59432
-accu_stage3\7f1477,59826
-:- pred acc_proc_info\7f1508,61326
-acc_proc_info\7f1512,61485
-:- pred acc_pred_info\7f1556,63449
-acc_pred_info\7f1559,63597
-:- pred accu_create_goal\7f1600,65285
-accu_create_goal\7f1607,65628
-:- func create_acc_call\7f1621,66400
-create_acc_call\7f1625,66569
-:- pred create_orig_goal\7f1634,66987
-create_orig_goal\7f1638,67176
-:- pred create_acc_goal\7f1662,68157
-create_acc_goal\7f1667,68380
-:- func create_new_orig_recursive_goals\7f1709,70225
-create_new_orig_recursive_goals\7f1712,70368
-:- func create_new_recursive_goals\7f1723,70918
-create_new_recursive_goals\7f1727,71108
-:- func create_new_base_goals\7f1738,71717
-create_new_base_goals\7f1741,71831
-:- pred acc_unification\7f1749,72156
-acc_unification\7f1751,72225
-:- pred accu_top_level\7f1766,72896
-accu_top_level\7f1770,73058
-:- pred update_accumulator_pred\7f1856,76290
-update_accumulator_pred\7f1859,76411
-:- func accu_rename\7f1876,77253
-accu_rename\7f1879,77363
-:- func base_case_ids\7f1889,77784
-base_case_ids\7f1891,77846
-:- func base_case_ids_set\7f1898,78048
-base_case_ids_set\7f1900,78113
-:- func accu_goal_list\7f1905,78269
-accu_goal_list\7f1907,78349
-:- pred calculate_goal_info\7f1916,78680
-calculate_goal_info\7f1918,78753
-:- func chain_subst\7f1932,79319
-chain_subst\7f1934,79378
-:- pred chain_subst_2\7f1938,79482
-chain_subst_2\7f1941,79576
-:- some [T] pred unravel_univ\7f1956,80060
-:- pragma foreign_export\7f1957,80116
-unravel_univ\7f1961,80340
+:- pred identify_out_and_out_prime\7f626,24397
+identify_out_and_out_prime\7f631,24632
+:- type accu_sets\7f676,26426
+:- pred accu_stage1\7f689,26978
+accu_stage1\7f693,27156
+:- pred accu_stage1_2\7f727,28348
+accu_stage1_2\7f731,28516
+:- pred accu_sets_init\7f781,30558
+accu_sets_init\7f783,30606
+:- func set_upto\7f796,30985
+set_upto\7f798,31040
+:- pred accu_before\7f812,31499
+accu_before\7f815,31640
+:- pred accu_assoc\7f835,32478
+accu_assoc\7f838,32618
+:- pred accu_construct\7f862,33713
+accu_construct\7f865,33857
+:- pred accu_construct_assoc\7f896,35308
+accu_construct_assoc\7f899,35458
+:- pred accu_update\7f938,37070
+accu_update\7f941,37211
+:- pred member_lessthan_goalid\7f964,38220
+member_lessthan_goalid\7f967,38343
+:- type accu_assoc\7f975,38653
+:- pred accu_is_associative\7f986,39139
+accu_is_associative\7f989,39251
+:- pred associativity_assertion\7f1014,40264
+associativity_assertion\7f1017,40405
+:- pred commutativity_assertion\7f1037,41243
+commutativity_assertion\7f1040,41370
+:- pred accu_is_update\7f1057,41953
+accu_is_update\7f1060,42067
+:- pred is_associative_construction\7f1078,42803
+is_associative_construction\7f1081,42899
+:- type accu_substs\7f1095,43481
+:- type accu_base\7f1103,43745
+:- pred accu_stage2\7f1124,44606
+accu_stage2\7f1131,44947
+:- pred accu_substs_init\7f1179,46958
+accu_substs_init\7f1182,47098
+:- pred acc_var_subst_init\7f1194,47574
+acc_var_subst_init\7f1198,47719
+:- pred create_new_var\7f1207,48148
+create_new_var\7f1210,48289
+:- pred accu_process_assoc_set\7f1223,48863
+accu_process_assoc_set\7f1229,49151
+:- pred accu_has_heuristic\7f1297,52082
+accu_has_heuristic\7f1299,52162
+:- pred accu_heuristic\7f1304,52337
+accu_heuristic\7f1307,52458
+:- pred accu_process_update_set\7f1318,52907
+accu_process_update_set\7f1325,53222
+:- pred accu_divide_base_case\7f1380,55845
+accu_divide_base_case\7f1385,56060
+:- pred accu_related\7f1412,57147
+accu_related\7f1415,57271
+:- inst stored_goal_plain_call\7f1444,58416
+:- pred lookup_call\7f1449,58602
+lookup_call\7f1452,58716
+:- pred accu_stage3\7f1470,59433
+accu_stage3\7f1477,59827
+:- pred acc_proc_info\7f1508,61327
+acc_proc_info\7f1512,61486
+:- pred acc_pred_info\7f1556,63450
+acc_pred_info\7f1559,63598
+:- pred accu_create_goal\7f1600,65286
+accu_create_goal\7f1607,65629
+:- func create_acc_call\7f1621,66401
+create_acc_call\7f1625,66570
+:- pred create_orig_goal\7f1634,66988
+create_orig_goal\7f1638,67177
+:- pred create_acc_goal\7f1662,68158
+create_acc_goal\7f1667,68381
+:- func create_new_orig_recursive_goals\7f1709,70226
+create_new_orig_recursive_goals\7f1712,70369
+:- func create_new_recursive_goals\7f1723,70919
+create_new_recursive_goals\7f1727,71109
+:- func create_new_base_goals\7f1738,71718
+create_new_base_goals\7f1741,71832
+:- pred acc_unification\7f1749,72157
+acc_unification\7f1751,72226
+:- pred accu_top_level\7f1766,72897
+accu_top_level\7f1770,73059
+:- pred update_accumulator_pred\7f1856,76291
+update_accumulator_pred\7f1859,76412
+:- func accu_rename\7f1876,77254
+accu_rename\7f1879,77364
+:- func base_case_ids\7f1889,77785
+base_case_ids\7f1891,77847
+:- func base_case_ids_set\7f1898,78049
+base_case_ids_set\7f1900,78114
+:- func accu_goal_list\7f1905,78270
+accu_goal_list\7f1907,78350
+:- pred calculate_goal_info\7f1916,78681
+calculate_goal_info\7f1918,78754
+:- func chain_subst\7f1932,79320
+chain_subst\7f1934,79379
+:- pred chain_subst_2\7f1938,79483
+chain_subst_2\7f1941,79577
+:- some [T] pred unravel_univ\7f1956,80061
+:- pragma foreign_export\7f1957,80117
+unravel_univ\7f1961,80341
\f
c-src/c.c,76
T f(\7f1,0
add_active(\7f340,10527
parse(\7f353,10949
derived_analyses(\7f364,11341
-build(\7f378,11965
-buildact(\7f392,12521
-mapsyn(\7f412,13542
-add_edge(\7f434,14278
-findcats(\7f447,14758
-normalize_tree(\7f465,15478
-normalize_trees(\7f475,15856
-expandmng_tree(\7f486,16248
-expandmng_trees(\7f496,16614
-cat(\7f511,17013
-subtree(\7f644,21266
-hypothetical_mem(\7f653,21565
-make_coor(\7f667,22130
-start_up:-\7fstart_up\ 1688,23013
-tokenizeatom(\7f710,23921
-tokenize(\7f720,24348
-isoperator(\7f752,25377
-isoptab(\7f756,25431
-specialsymbol(\7f765,25756
-sstab(\7f771,25861
-parse_cgi(\7f787,26347
-keyvalseq(\7f792,26510
-andkeyvalseq(\7f796,26609
-keyval(\7f799,26688
-valseq(\7f807,26920
-plusvalseq(\7f810,27007
-val(\7f816,27109
-argvals(\7f824,27426
-commaargvals(\7f828,27503
-atomval(\7f833,27578
-atom(\7f836,27640
-action(\7f846,28004
-keyvalcgi(\7f864,28649
-keyvalscgi(\7f865,28670
-outsyn(\7f868,28726
-act(\7f876,29060
-actout(\7f901,29906
-texttreelist(\7f912,30089
-htmltreelist(\7f918,30190
-fitchtreelist(\7f924,30304
-pp_html_table_tree(\7f938,30759
-pp_html_tree(\7f949,31113
-pp_html_trees(\7f988,32381
-pp_html_table_fitch_tree(\7f999,32769
-pp_html_fitch_tree(\7f1017,33672
-removeexp(\7f1129,39002
-splitexp(\7f1142,39490
-pp_exp(\7f1155,39990
-map_word(\7f1168,40249
-pp_exps(\7f1180,40474
-pp_tree(\7f1188,40777
-pp_trees(\7f1216,41807
-pp_word_list(\7f1225,42128
-pp_word(\7f1231,42262
-pp_word_list_rest(\7f1238,42569
-pp_cat(\7f1248,42929
-pp_syn(\7f1255,43196
-pp_syn_paren(\7f1276,43899
-pp_paren(\7f1293,44377
-pp_syn_back(\7f1300,44661
-pp_bas_cat(\7f1311,45001
-writecat(\7f1322,45409
-writesubs(\7f1351,46455
-writesups(\7f1361,46757
-writelistsubs(\7f1371,47090
-pp_lam(\7f1380,47408
-pp_lam_bracket(\7f1398,48022
-pp_lam_paren(\7f1407,48338
-pp_rule(\7f1429,49238
-member(\7f1447,49866
-append_list(\7f1451,49919
-append(\7f1456,50010
-at_least_one_member(\7f1460,50076
-numbervars(\7f1464,50171
-reverse(\7f1467,50209
-select(\7f1471,50290
-select_last(\7f1475,50357
-cat_atoms(\7f1479,50436
-writelist(\7f1485,50524
-write_lex_cat(\7f1492,50676
-writebreaklex(\7f1500,50988
-write_lex(\7f1513,51265
-writebreak(\7f1521,51541
-tt:-\7ftt\ 11531,51713
-mt:-\7fmt\ 11534,51784
-cmt:-\7fcmt\ 11537,51878
+build(\7f378,11967
+buildact(\7f392,12523
+mapsyn(\7f412,13544
+add_edge(\7f434,14280
+findcats(\7f447,14760
+normalize_tree(\7f465,15480
+normalize_trees(\7f475,15858
+expandmng_tree(\7f486,16250
+expandmng_trees(\7f496,16616
+cat(\7f511,17015
+subtree(\7f644,21268
+hypothetical_mem(\7f653,21567
+make_coor(\7f667,22132
+start_up:-\7fstart_up\ 1688,23015
+tokenizeatom(\7f710,23923
+tokenize(\7f720,24350
+isoperator(\7f752,25379
+isoptab(\7f756,25433
+specialsymbol(\7f765,25758
+sstab(\7f771,25863
+parse_cgi(\7f787,26349
+keyvalseq(\7f792,26512
+andkeyvalseq(\7f796,26611
+keyval(\7f799,26690
+valseq(\7f807,26922
+plusvalseq(\7f810,27009
+val(\7f816,27111
+argvals(\7f824,27428
+commaargvals(\7f828,27505
+atomval(\7f833,27580
+atom(\7f836,27642
+action(\7f846,28006
+keyvalcgi(\7f864,28651
+keyvalscgi(\7f865,28672
+outsyn(\7f868,28728
+act(\7f876,29062
+actout(\7f901,29908
+texttreelist(\7f912,30091
+htmltreelist(\7f918,30192
+fitchtreelist(\7f924,30306
+pp_html_table_tree(\7f938,30761
+pp_html_tree(\7f949,31115
+pp_html_trees(\7f988,32383
+pp_html_table_fitch_tree(\7f999,32771
+pp_html_fitch_tree(\7f1017,33674
+removeexp(\7f1129,39004
+splitexp(\7f1142,39492
+pp_exp(\7f1155,39992
+map_word(\7f1168,40251
+pp_exps(\7f1180,40476
+pp_tree(\7f1188,40779
+pp_trees(\7f1216,41809
+pp_word_list(\7f1225,42130
+pp_word(\7f1231,42264
+pp_word_list_rest(\7f1238,42571
+pp_cat(\7f1248,42931
+pp_syn(\7f1255,43198
+pp_syn_paren(\7f1276,43901
+pp_paren(\7f1293,44379
+pp_syn_back(\7f1300,44663
+pp_bas_cat(\7f1311,45003
+writecat(\7f1322,45411
+writesubs(\7f1351,46457
+writesups(\7f1361,46759
+writelistsubs(\7f1371,47092
+pp_lam(\7f1380,47410
+pp_lam_bracket(\7f1398,48024
+pp_lam_paren(\7f1407,48340
+pp_rule(\7f1429,49240
+member(\7f1447,49868
+append_list(\7f1451,49921
+append(\7f1456,50012
+at_least_one_member(\7f1460,50078
+numbervars(\7f1464,50173
+reverse(\7f1467,50211
+select(\7f1471,50292
+select_last(\7f1475,50359
+cat_atoms(\7f1479,50438
+writelist(\7f1485,50526
+write_lex_cat(\7f1492,50678
+writebreaklex(\7f1500,50990
+write_lex(\7f1513,51267
+writebreak(\7f1521,51543
+tt:-\7ftt\ 11531,51715
+mt:-\7fmt\ 11534,51786
+cmt:-\7fcmt\ 11537,51880
\f
pyt-src/server.py,1438
class Controls:\7fControls\ 117,358
:- func initialize_goal_store\7f570,22060
:- pred accu_store\7f580,22421
:- pred identify_recursive_calls\7f601,23288
-:- pred identify_out_and_out_prime\7f626,24396
-:- type accu_sets\7f676,26425
-:- pred accu_stage1\7f689,26977
-:- pred accu_stage1_2\7f727,28347
-:- pred accu_sets_init\7f781,30557
-:- func set_upto\7f796,30984
-:- pred accu_before\7f812,31498
-:- pred accu_assoc\7f835,32477
-:- pred accu_construct\7f862,33712
-:- pred accu_construct_assoc\7f896,35307
-:- pred accu_update\7f938,37069
-:- pred member_lessthan_goalid\7f964,38219
-:- type accu_assoc\7f975,38652
-:- pred accu_is_associative\7f986,39138
-:- pred associativity_assertion\7f1014,40263
-:- pred commutativity_assertion\7f1037,41242
-:- pred accu_is_update\7f1057,41952
-:- pred is_associative_construction\7f1078,42802
-:- type accu_substs\7f1095,43480
-:- type accu_base\7f1103,43744
-:- pred accu_stage2\7f1124,44605
-:- pred accu_substs_init\7f1179,46957
-:- pred acc_var_subst_init\7f1194,47573
-:- pred create_new_var\7f1207,48147
-:- pred accu_process_assoc_set\7f1223,48862
-:- pred accu_has_heuristic\7f1297,52081
-:- pred accu_heuristic\7f1304,52336
-:- pred accu_process_update_set\7f1318,52906
-:- pred accu_divide_base_case\7f1380,55844
-:- pred accu_related\7f1412,57146
-:- inst stored_goal_plain_call\7f1444,58415
-:- pred lookup_call\7f1449,58601
-:- pred accu_stage3\7f1470,59432
-:- pred acc_proc_info\7f1508,61326
-:- pred acc_pred_info\7f1556,63449
-:- pred accu_create_goal\7f1600,65285
-:- func create_acc_call\7f1621,66400
-:- pred create_orig_goal\7f1634,66987
-:- pred create_acc_goal\7f1662,68157
-:- func create_new_orig_recursive_goals\7f1709,70225
-:- func create_new_recursive_goals\7f1723,70918
-:- func create_new_base_goals\7f1738,71717
-:- pred acc_unification\7f1749,72156
-:- pred accu_top_level\7f1766,72896
-:- pred update_accumulator_pred\7f1856,76290
-:- func accu_rename\7f1876,77253
-:- func base_case_ids\7f1889,77784
-:- func base_case_ids_set\7f1898,78048
-:- func accu_goal_list\7f1905,78269
-:- pred calculate_goal_info\7f1916,78680
-:- func chain_subst\7f1932,79319
-:- pred chain_subst_2\7f1938,79482
-:- some [T] pred unravel_univ\7f1956,80060
-:- pragma foreign_export\7f1957,80116
+:- pred identify_out_and_out_prime\7f626,24397
+:- type accu_sets\7f676,26426
+:- pred accu_stage1\7f689,26978
+:- pred accu_stage1_2\7f727,28348
+:- pred accu_sets_init\7f781,30558
+:- func set_upto\7f796,30985
+:- pred accu_before\7f812,31499
+:- pred accu_assoc\7f835,32478
+:- pred accu_construct\7f862,33713
+:- pred accu_construct_assoc\7f896,35308
+:- pred accu_update\7f938,37070
+:- pred member_lessthan_goalid\7f964,38220
+:- type accu_assoc\7f975,38653
+:- pred accu_is_associative\7f986,39139
+:- pred associativity_assertion\7f1014,40264
+:- pred commutativity_assertion\7f1037,41243
+:- pred accu_is_update\7f1057,41953
+:- pred is_associative_construction\7f1078,42803
+:- type accu_substs\7f1095,43481
+:- type accu_base\7f1103,43745
+:- pred accu_stage2\7f1124,44606
+:- pred accu_substs_init\7f1179,46958
+:- pred acc_var_subst_init\7f1194,47574
+:- pred create_new_var\7f1207,48148
+:- pred accu_process_assoc_set\7f1223,48863
+:- pred accu_has_heuristic\7f1297,52082
+:- pred accu_heuristic\7f1304,52337
+:- pred accu_process_update_set\7f1318,52907
+:- pred accu_divide_base_case\7f1380,55845
+:- pred accu_related\7f1412,57147
+:- inst stored_goal_plain_call\7f1444,58416
+:- pred lookup_call\7f1449,58602
+:- pred accu_stage3\7f1470,59433
+:- pred acc_proc_info\7f1508,61327
+:- pred acc_pred_info\7f1556,63450
+:- pred accu_create_goal\7f1600,65286
+:- func create_acc_call\7f1621,66401
+:- pred create_orig_goal\7f1634,66988
+:- pred create_acc_goal\7f1662,68158
+:- func create_new_orig_recursive_goals\7f1709,70226
+:- func create_new_recursive_goals\7f1723,70919
+:- func create_new_base_goals\7f1738,71718
+:- pred acc_unification\7f1749,72157
+:- pred accu_top_level\7f1766,72897
+:- pred update_accumulator_pred\7f1856,76291
+:- func accu_rename\7f1876,77254
+:- func base_case_ids\7f1889,77785
+:- func base_case_ids_set\7f1898,78049
+:- func accu_goal_list\7f1905,78270
+:- pred calculate_goal_info\7f1916,78681
+:- func chain_subst\7f1932,79320
+:- pred chain_subst_2\7f1938,79483
+:- some [T] pred unravel_univ\7f1956,80061
+:- pragma foreign_export\7f1957,80117
\f
c-src/c.c,76
T f(\7f1,0
add_active(\7f340,10527
parse(\7f353,10949
derived_analyses(\7f364,11341
-build(\7f378,11965
-buildact(\7f392,12521
-mapsyn(\7f412,13542
-add_edge(\7f434,14278
-findcats(\7f447,14758
-normalize_tree(\7f465,15478
-normalize_trees(\7f475,15856
-expandmng_tree(\7f486,16248
-expandmng_trees(\7f496,16614
-cat(\7f511,17013
-subtree(\7f644,21266
-hypothetical_mem(\7f653,21565
-make_coor(\7f667,22130
-start_up:-\7fstart_up\ 1688,23013
-tokenizeatom(\7f710,23921
-tokenize(\7f720,24348
-isoperator(\7f752,25377
-isoptab(\7f756,25431
-specialsymbol(\7f765,25756
-sstab(\7f771,25861
-parse_cgi(\7f787,26347
-keyvalseq(\7f792,26510
-andkeyvalseq(\7f796,26609
-keyval(\7f799,26688
-valseq(\7f807,26920
-plusvalseq(\7f810,27007
-val(\7f816,27109
-argvals(\7f824,27426
-commaargvals(\7f828,27503
-atomval(\7f833,27578
-atom(\7f836,27640
-action(\7f846,28004
-keyvalcgi(\7f864,28649
-keyvalscgi(\7f865,28670
-outsyn(\7f868,28726
-act(\7f876,29060
-actout(\7f901,29906
-texttreelist(\7f912,30089
-htmltreelist(\7f918,30190
-fitchtreelist(\7f924,30304
-pp_html_table_tree(\7f938,30759
-pp_html_tree(\7f949,31113
-pp_html_trees(\7f988,32381
-pp_html_table_fitch_tree(\7f999,32769
-pp_html_fitch_tree(\7f1017,33672
-removeexp(\7f1129,39002
-splitexp(\7f1142,39490
-pp_exp(\7f1155,39990
-map_word(\7f1168,40249
-pp_exps(\7f1180,40474
-pp_tree(\7f1188,40777
-pp_trees(\7f1216,41807
-pp_word_list(\7f1225,42128
-pp_word(\7f1231,42262
-pp_word_list_rest(\7f1238,42569
-pp_cat(\7f1248,42929
-pp_syn(\7f1255,43196
-pp_syn_paren(\7f1276,43899
-pp_paren(\7f1293,44377
-pp_syn_back(\7f1300,44661
-pp_bas_cat(\7f1311,45001
-writecat(\7f1322,45409
-writesubs(\7f1351,46455
-writesups(\7f1361,46757
-writelistsubs(\7f1371,47090
-pp_lam(\7f1380,47408
-pp_lam_bracket(\7f1398,48022
-pp_lam_paren(\7f1407,48338
-pp_rule(\7f1429,49238
-member(\7f1447,49866
-append_list(\7f1451,49919
-append(\7f1456,50010
-at_least_one_member(\7f1460,50076
-numbervars(\7f1464,50171
-reverse(\7f1467,50209
-select(\7f1471,50290
-select_last(\7f1475,50357
-cat_atoms(\7f1479,50436
-writelist(\7f1485,50524
-write_lex_cat(\7f1492,50676
-writebreaklex(\7f1500,50988
-write_lex(\7f1513,51265
-writebreak(\7f1521,51541
-tt:-\7ftt\ 11531,51713
-mt:-\7fmt\ 11534,51784
-cmt:-\7fcmt\ 11537,51878
+build(\7f378,11967
+buildact(\7f392,12523
+mapsyn(\7f412,13544
+add_edge(\7f434,14280
+findcats(\7f447,14760
+normalize_tree(\7f465,15480
+normalize_trees(\7f475,15858
+expandmng_tree(\7f486,16250
+expandmng_trees(\7f496,16616
+cat(\7f511,17015
+subtree(\7f644,21268
+hypothetical_mem(\7f653,21567
+make_coor(\7f667,22132
+start_up:-\7fstart_up\ 1688,23015
+tokenizeatom(\7f710,23923
+tokenize(\7f720,24350
+isoperator(\7f752,25379
+isoptab(\7f756,25433
+specialsymbol(\7f765,25758
+sstab(\7f771,25863
+parse_cgi(\7f787,26349
+keyvalseq(\7f792,26512
+andkeyvalseq(\7f796,26611
+keyval(\7f799,26690
+valseq(\7f807,26922
+plusvalseq(\7f810,27009
+val(\7f816,27111
+argvals(\7f824,27428
+commaargvals(\7f828,27505
+atomval(\7f833,27580
+atom(\7f836,27642
+action(\7f846,28006
+keyvalcgi(\7f864,28651
+keyvalscgi(\7f865,28672
+outsyn(\7f868,28728
+act(\7f876,29062
+actout(\7f901,29908
+texttreelist(\7f912,30091
+htmltreelist(\7f918,30192
+fitchtreelist(\7f924,30306
+pp_html_table_tree(\7f938,30761
+pp_html_tree(\7f949,31115
+pp_html_trees(\7f988,32383
+pp_html_table_fitch_tree(\7f999,32771
+pp_html_fitch_tree(\7f1017,33674
+removeexp(\7f1129,39004
+splitexp(\7f1142,39492
+pp_exp(\7f1155,39992
+map_word(\7f1168,40251
+pp_exps(\7f1180,40476
+pp_tree(\7f1188,40779
+pp_trees(\7f1216,41809
+pp_word_list(\7f1225,42130
+pp_word(\7f1231,42264
+pp_word_list_rest(\7f1238,42571
+pp_cat(\7f1248,42931
+pp_syn(\7f1255,43198
+pp_syn_paren(\7f1276,43901
+pp_paren(\7f1293,44379
+pp_syn_back(\7f1300,44663
+pp_bas_cat(\7f1311,45003
+writecat(\7f1322,45411
+writesubs(\7f1351,46457
+writesups(\7f1361,46759
+writelistsubs(\7f1371,47092
+pp_lam(\7f1380,47410
+pp_lam_bracket(\7f1398,48024
+pp_lam_paren(\7f1407,48340
+pp_rule(\7f1429,49240
+member(\7f1447,49868
+append_list(\7f1451,49921
+append(\7f1456,50012
+at_least_one_member(\7f1460,50078
+numbervars(\7f1464,50173
+reverse(\7f1467,50211
+select(\7f1471,50292
+select_last(\7f1475,50359
+cat_atoms(\7f1479,50438
+writelist(\7f1485,50526
+write_lex_cat(\7f1492,50678
+writebreaklex(\7f1500,50990
+write_lex(\7f1513,51267
+writebreak(\7f1521,51543
+tt:-\7ftt\ 11531,51715
+mt:-\7fmt\ 11534,51786
+cmt:-\7fcmt\ 11537,51880
\f
pyt-src/server.py,1438
class Controls:\7fControls\ 117,358
:- func initialize_goal_store\7f570,22060
:- pred accu_store\7f580,22421
:- pred identify_recursive_calls\7f601,23288
-:- pred identify_out_and_out_prime\7f626,24396
-:- type accu_sets\7f676,26425
-:- pred accu_stage1\7f689,26977
-:- pred accu_stage1_2\7f727,28347
-:- pred accu_sets_init\7f781,30557
-:- func set_upto\7f796,30984
-:- pred accu_before\7f812,31498
-:- pred accu_assoc\7f835,32477
-:- pred accu_construct\7f862,33712
-:- pred accu_construct_assoc\7f896,35307
-:- pred accu_update\7f938,37069
-:- pred member_lessthan_goalid\7f964,38219
-:- type accu_assoc\7f975,38652
-:- pred accu_is_associative\7f986,39138
-:- pred associativity_assertion\7f1014,40263
-:- pred commutativity_assertion\7f1037,41242
-:- pred accu_is_update\7f1057,41952
-:- pred is_associative_construction\7f1078,42802
-:- type accu_substs\7f1095,43480
-:- type accu_base\7f1103,43744
-:- pred accu_stage2\7f1124,44605
-:- pred accu_substs_init\7f1179,46957
-:- pred acc_var_subst_init\7f1194,47573
-:- pred create_new_var\7f1207,48147
-:- pred accu_process_assoc_set\7f1223,48862
-:- pred accu_has_heuristic\7f1297,52081
-:- pred accu_heuristic\7f1304,52336
-:- pred accu_process_update_set\7f1318,52906
-:- pred accu_divide_base_case\7f1380,55844
-:- pred accu_related\7f1412,57146
-:- inst stored_goal_plain_call\7f1444,58415
-:- pred lookup_call\7f1449,58601
-:- pred accu_stage3\7f1470,59432
-:- pred acc_proc_info\7f1508,61326
-:- pred acc_pred_info\7f1556,63449
-:- pred accu_create_goal\7f1600,65285
-:- func create_acc_call\7f1621,66400
-:- pred create_orig_goal\7f1634,66987
-:- pred create_acc_goal\7f1662,68157
-:- func create_new_orig_recursive_goals\7f1709,70225
-:- func create_new_recursive_goals\7f1723,70918
-:- func create_new_base_goals\7f1738,71717
-:- pred acc_unification\7f1749,72156
-:- pred accu_top_level\7f1766,72896
-:- pred update_accumulator_pred\7f1856,76290
-:- func accu_rename\7f1876,77253
-:- func base_case_ids\7f1889,77784
-:- func base_case_ids_set\7f1898,78048
-:- func accu_goal_list\7f1905,78269
-:- pred calculate_goal_info\7f1916,78680
-:- func chain_subst\7f1932,79319
-:- pred chain_subst_2\7f1938,79482
-:- some [T] pred unravel_univ\7f1956,80060
-:- pragma foreign_export\7f1957,80116
+:- pred identify_out_and_out_prime\7f626,24397
+:- type accu_sets\7f676,26426
+:- pred accu_stage1\7f689,26978
+:- pred accu_stage1_2\7f727,28348
+:- pred accu_sets_init\7f781,30558
+:- func set_upto\7f796,30985
+:- pred accu_before\7f812,31499
+:- pred accu_assoc\7f835,32478
+:- pred accu_construct\7f862,33713
+:- pred accu_construct_assoc\7f896,35308
+:- pred accu_update\7f938,37070
+:- pred member_lessthan_goalid\7f964,38220
+:- type accu_assoc\7f975,38653
+:- pred accu_is_associative\7f986,39139
+:- pred associativity_assertion\7f1014,40264
+:- pred commutativity_assertion\7f1037,41243
+:- pred accu_is_update\7f1057,41953
+:- pred is_associative_construction\7f1078,42803
+:- type accu_substs\7f1095,43481
+:- type accu_base\7f1103,43745
+:- pred accu_stage2\7f1124,44606
+:- pred accu_substs_init\7f1179,46958
+:- pred acc_var_subst_init\7f1194,47574
+:- pred create_new_var\7f1207,48148
+:- pred accu_process_assoc_set\7f1223,48863
+:- pred accu_has_heuristic\7f1297,52082
+:- pred accu_heuristic\7f1304,52337
+:- pred accu_process_update_set\7f1318,52907
+:- pred accu_divide_base_case\7f1380,55845
+:- pred accu_related\7f1412,57147
+:- inst stored_goal_plain_call\7f1444,58416
+:- pred lookup_call\7f1449,58602
+:- pred accu_stage3\7f1470,59433
+:- pred acc_proc_info\7f1508,61327
+:- pred acc_pred_info\7f1556,63450
+:- pred accu_create_goal\7f1600,65286
+:- func create_acc_call\7f1621,66401
+:- pred create_orig_goal\7f1634,66988
+:- pred create_acc_goal\7f1662,68158
+:- func create_new_orig_recursive_goals\7f1709,70226
+:- func create_new_recursive_goals\7f1723,70919
+:- func create_new_base_goals\7f1738,71718
+:- pred acc_unification\7f1749,72157
+:- pred accu_top_level\7f1766,72897
+:- pred update_accumulator_pred\7f1856,76291
+:- func accu_rename\7f1876,77254
+:- func base_case_ids\7f1889,77785
+:- func base_case_ids_set\7f1898,78049
+:- func accu_goal_list\7f1905,78270
+:- pred calculate_goal_info\7f1916,78681
+:- func chain_subst\7f1932,79320
+:- pred chain_subst_2\7f1938,79483
+:- some [T] pred unravel_univ\7f1956,80061
+:- pragma foreign_export\7f1957,80117
\f
c-src/c.c,76
T f(\7f1,0
add_active(\7f340,10527
parse(\7f353,10949
derived_analyses(\7f364,11341
-build(\7f378,11965
-buildact(\7f392,12521
-mapsyn(\7f412,13542
-add_edge(\7f434,14278
-findcats(\7f447,14758
-normalize_tree(\7f465,15478
-normalize_trees(\7f475,15856
-expandmng_tree(\7f486,16248
-expandmng_trees(\7f496,16614
-cat(\7f511,17013
-subtree(\7f644,21266
-hypothetical_mem(\7f653,21565
-make_coor(\7f667,22130
-start_up:-\7fstart_up\ 1688,23013
-tokenizeatom(\7f710,23921
-tokenize(\7f720,24348
-isoperator(\7f752,25377
-isoptab(\7f756,25431
-specialsymbol(\7f765,25756
-sstab(\7f771,25861
-parse_cgi(\7f787,26347
-keyvalseq(\7f792,26510
-andkeyvalseq(\7f796,26609
-keyval(\7f799,26688
-valseq(\7f807,26920
-plusvalseq(\7f810,27007
-val(\7f816,27109
-argvals(\7f824,27426
-commaargvals(\7f828,27503
-atomval(\7f833,27578
-atom(\7f836,27640
-action(\7f846,28004
-keyvalcgi(\7f864,28649
-keyvalscgi(\7f865,28670
-outsyn(\7f868,28726
-act(\7f876,29060
-actout(\7f901,29906
-texttreelist(\7f912,30089
-htmltreelist(\7f918,30190
-fitchtreelist(\7f924,30304
-pp_html_table_tree(\7f938,30759
-pp_html_tree(\7f949,31113
-pp_html_trees(\7f988,32381
-pp_html_table_fitch_tree(\7f999,32769
-pp_html_fitch_tree(\7f1017,33672
-removeexp(\7f1129,39002
-splitexp(\7f1142,39490
-pp_exp(\7f1155,39990
-map_word(\7f1168,40249
-pp_exps(\7f1180,40474
-pp_tree(\7f1188,40777
-pp_trees(\7f1216,41807
-pp_word_list(\7f1225,42128
-pp_word(\7f1231,42262
-pp_word_list_rest(\7f1238,42569
-pp_cat(\7f1248,42929
-pp_syn(\7f1255,43196
-pp_syn_paren(\7f1276,43899
-pp_paren(\7f1293,44377
-pp_syn_back(\7f1300,44661
-pp_bas_cat(\7f1311,45001
-writecat(\7f1322,45409
-writesubs(\7f1351,46455
-writesups(\7f1361,46757
-writelistsubs(\7f1371,47090
-pp_lam(\7f1380,47408
-pp_lam_bracket(\7f1398,48022
-pp_lam_paren(\7f1407,48338
-pp_rule(\7f1429,49238
-member(\7f1447,49866
-append_list(\7f1451,49919
-append(\7f1456,50010
-at_least_one_member(\7f1460,50076
-numbervars(\7f1464,50171
-reverse(\7f1467,50209
-select(\7f1471,50290
-select_last(\7f1475,50357
-cat_atoms(\7f1479,50436
-writelist(\7f1485,50524
-write_lex_cat(\7f1492,50676
-writebreaklex(\7f1500,50988
-write_lex(\7f1513,51265
-writebreak(\7f1521,51541
-tt:-\7ftt\ 11531,51713
-mt:-\7fmt\ 11534,51784
-cmt:-\7fcmt\ 11537,51878
+build(\7f378,11967
+buildact(\7f392,12523
+mapsyn(\7f412,13544
+add_edge(\7f434,14280
+findcats(\7f447,14760
+normalize_tree(\7f465,15480
+normalize_trees(\7f475,15858
+expandmng_tree(\7f486,16250
+expandmng_trees(\7f496,16616
+cat(\7f511,17015
+subtree(\7f644,21268
+hypothetical_mem(\7f653,21567
+make_coor(\7f667,22132
+start_up:-\7fstart_up\ 1688,23015
+tokenizeatom(\7f710,23923
+tokenize(\7f720,24350
+isoperator(\7f752,25379
+isoptab(\7f756,25433
+specialsymbol(\7f765,25758
+sstab(\7f771,25863
+parse_cgi(\7f787,26349
+keyvalseq(\7f792,26512
+andkeyvalseq(\7f796,26611
+keyval(\7f799,26690
+valseq(\7f807,26922
+plusvalseq(\7f810,27009
+val(\7f816,27111
+argvals(\7f824,27428
+commaargvals(\7f828,27505
+atomval(\7f833,27580
+atom(\7f836,27642
+action(\7f846,28006
+keyvalcgi(\7f864,28651
+keyvalscgi(\7f865,28672
+outsyn(\7f868,28728
+act(\7f876,29062
+actout(\7f901,29908
+texttreelist(\7f912,30091
+htmltreelist(\7f918,30192
+fitchtreelist(\7f924,30306
+pp_html_table_tree(\7f938,30761
+pp_html_tree(\7f949,31115
+pp_html_trees(\7f988,32383
+pp_html_table_fitch_tree(\7f999,32771
+pp_html_fitch_tree(\7f1017,33674
+removeexp(\7f1129,39004
+splitexp(\7f1142,39492
+pp_exp(\7f1155,39992
+map_word(\7f1168,40251
+pp_exps(\7f1180,40476
+pp_tree(\7f1188,40779
+pp_trees(\7f1216,41809
+pp_word_list(\7f1225,42130
+pp_word(\7f1231,42264
+pp_word_list_rest(\7f1238,42571
+pp_cat(\7f1248,42931
+pp_syn(\7f1255,43198
+pp_syn_paren(\7f1276,43901
+pp_paren(\7f1293,44379
+pp_syn_back(\7f1300,44663
+pp_bas_cat(\7f1311,45003
+writecat(\7f1322,45411
+writesubs(\7f1351,46457
+writesups(\7f1361,46759
+writelistsubs(\7f1371,47092
+pp_lam(\7f1380,47410
+pp_lam_bracket(\7f1398,48024
+pp_lam_paren(\7f1407,48340
+pp_rule(\7f1429,49240
+member(\7f1447,49868
+append_list(\7f1451,49921
+append(\7f1456,50012
+at_least_one_member(\7f1460,50078
+numbervars(\7f1464,50173
+reverse(\7f1467,50211
+select(\7f1471,50292
+select_last(\7f1475,50359
+cat_atoms(\7f1479,50438
+writelist(\7f1485,50526
+write_lex_cat(\7f1492,50678
+writebreaklex(\7f1500,50990
+write_lex(\7f1513,51267
+writebreak(\7f1521,51543
+tt:-\7ftt\ 11531,51715
+mt:-\7fmt\ 11534,51786
+cmt:-\7fcmt\ 11537,51880
\f
pyt-src/server.py,1438
class Controls:\7fControls\ 117,358
accu_store\7f584,22576
:- pred identify_recursive_calls\7f601,23288
identify_recursive_calls\7f604,23406
-:- pred identify_out_and_out_prime\7f626,24396
-identify_out_and_out_prime\7f631,24631
-:- type accu_sets\7f676,26425
-:- pred accu_stage1\7f689,26977
-accu_stage1\7f693,27155
-:- pred accu_stage1_2\7f727,28347
-accu_stage1_2\7f731,28515
-:- pred accu_sets_init\7f781,30557
-accu_sets_init\7f783,30605
-:- func set_upto\7f796,30984
-set_upto\7f798,31039
-:- pred accu_before\7f812,31498
-accu_before\7f815,31639
-:- pred accu_assoc\7f835,32477
-accu_assoc\7f838,32617
-:- pred accu_construct\7f862,33712
-accu_construct\7f865,33856
-:- pred accu_construct_assoc\7f896,35307
-accu_construct_assoc\7f899,35457
-:- pred accu_update\7f938,37069
-accu_update\7f941,37210
-:- pred member_lessthan_goalid\7f964,38219
-member_lessthan_goalid\7f967,38342
-:- type accu_assoc\7f975,38652
-:- pred accu_is_associative\7f986,39138
-accu_is_associative\7f989,39250
-:- pred associativity_assertion\7f1014,40263
-associativity_assertion\7f1017,40404
-:- pred commutativity_assertion\7f1037,41242
-commutativity_assertion\7f1040,41369
-:- pred accu_is_update\7f1057,41952
-accu_is_update\7f1060,42066
-:- pred is_associative_construction\7f1078,42802
-is_associative_construction\7f1081,42898
-:- type accu_substs\7f1095,43480
-:- type accu_base\7f1103,43744
-:- pred accu_stage2\7f1124,44605
-accu_stage2\7f1131,44946
-:- pred accu_substs_init\7f1179,46957
-accu_substs_init\7f1182,47097
-:- pred acc_var_subst_init\7f1194,47573
-acc_var_subst_init\7f1198,47718
-:- pred create_new_var\7f1207,48147
-create_new_var\7f1210,48288
-:- pred accu_process_assoc_set\7f1223,48862
-accu_process_assoc_set\7f1229,49150
-:- pred accu_has_heuristic\7f1297,52081
-accu_has_heuristic\7f1299,52161
-:- pred accu_heuristic\7f1304,52336
-accu_heuristic\7f1307,52457
-:- pred accu_process_update_set\7f1318,52906
-accu_process_update_set\7f1325,53221
-:- pred accu_divide_base_case\7f1380,55844
-accu_divide_base_case\7f1385,56059
-:- pred accu_related\7f1412,57146
-accu_related\7f1415,57270
-:- inst stored_goal_plain_call\7f1444,58415
-:- pred lookup_call\7f1449,58601
-lookup_call\7f1452,58715
-:- pred accu_stage3\7f1470,59432
-accu_stage3\7f1477,59826
-:- pred acc_proc_info\7f1508,61326
-acc_proc_info\7f1512,61485
-:- pred acc_pred_info\7f1556,63449
-acc_pred_info\7f1559,63597
-:- pred accu_create_goal\7f1600,65285
-accu_create_goal\7f1607,65628
-:- func create_acc_call\7f1621,66400
-create_acc_call\7f1625,66569
-:- pred create_orig_goal\7f1634,66987
-create_orig_goal\7f1638,67176
-:- pred create_acc_goal\7f1662,68157
-create_acc_goal\7f1667,68380
-:- func create_new_orig_recursive_goals\7f1709,70225
-create_new_orig_recursive_goals\7f1712,70368
-:- func create_new_recursive_goals\7f1723,70918
-create_new_recursive_goals\7f1727,71108
-:- func create_new_base_goals\7f1738,71717
-create_new_base_goals\7f1741,71831
-:- pred acc_unification\7f1749,72156
-acc_unification\7f1751,72225
-:- pred accu_top_level\7f1766,72896
-accu_top_level\7f1770,73058
-:- pred update_accumulator_pred\7f1856,76290
-update_accumulator_pred\7f1859,76411
-:- func accu_rename\7f1876,77253
-accu_rename\7f1879,77363
-:- func base_case_ids\7f1889,77784
-base_case_ids\7f1891,77846
-:- func base_case_ids_set\7f1898,78048
-base_case_ids_set\7f1900,78113
-:- func accu_goal_list\7f1905,78269
-accu_goal_list\7f1907,78349
-:- pred calculate_goal_info\7f1916,78680
-calculate_goal_info\7f1918,78753
-:- func chain_subst\7f1932,79319
-chain_subst\7f1934,79378
-:- pred chain_subst_2\7f1938,79482
-chain_subst_2\7f1941,79576
-:- some [T] pred unravel_univ\7f1956,80060
-:- pragma foreign_export\7f1957,80116
-unravel_univ\7f1961,80340
+:- pred identify_out_and_out_prime\7f626,24397
+identify_out_and_out_prime\7f631,24632
+:- type accu_sets\7f676,26426
+:- pred accu_stage1\7f689,26978
+accu_stage1\7f693,27156
+:- pred accu_stage1_2\7f727,28348
+accu_stage1_2\7f731,28516
+:- pred accu_sets_init\7f781,30558
+accu_sets_init\7f783,30606
+:- func set_upto\7f796,30985
+set_upto\7f798,31040
+:- pred accu_before\7f812,31499
+accu_before\7f815,31640
+:- pred accu_assoc\7f835,32478
+accu_assoc\7f838,32618
+:- pred accu_construct\7f862,33713
+accu_construct\7f865,33857
+:- pred accu_construct_assoc\7f896,35308
+accu_construct_assoc\7f899,35458
+:- pred accu_update\7f938,37070
+accu_update\7f941,37211
+:- pred member_lessthan_goalid\7f964,38220
+member_lessthan_goalid\7f967,38343
+:- type accu_assoc\7f975,38653
+:- pred accu_is_associative\7f986,39139
+accu_is_associative\7f989,39251
+:- pred associativity_assertion\7f1014,40264
+associativity_assertion\7f1017,40405
+:- pred commutativity_assertion\7f1037,41243
+commutativity_assertion\7f1040,41370
+:- pred accu_is_update\7f1057,41953
+accu_is_update\7f1060,42067
+:- pred is_associative_construction\7f1078,42803
+is_associative_construction\7f1081,42899
+:- type accu_substs\7f1095,43481
+:- type accu_base\7f1103,43745
+:- pred accu_stage2\7f1124,44606
+accu_stage2\7f1131,44947
+:- pred accu_substs_init\7f1179,46958
+accu_substs_init\7f1182,47098
+:- pred acc_var_subst_init\7f1194,47574
+acc_var_subst_init\7f1198,47719
+:- pred create_new_var\7f1207,48148
+create_new_var\7f1210,48289
+:- pred accu_process_assoc_set\7f1223,48863
+accu_process_assoc_set\7f1229,49151
+:- pred accu_has_heuristic\7f1297,52082
+accu_has_heuristic\7f1299,52162
+:- pred accu_heuristic\7f1304,52337
+accu_heuristic\7f1307,52458
+:- pred accu_process_update_set\7f1318,52907
+accu_process_update_set\7f1325,53222
+:- pred accu_divide_base_case\7f1380,55845
+accu_divide_base_case\7f1385,56060
+:- pred accu_related\7f1412,57147
+accu_related\7f1415,57271
+:- inst stored_goal_plain_call\7f1444,58416
+:- pred lookup_call\7f1449,58602
+lookup_call\7f1452,58716
+:- pred accu_stage3\7f1470,59433
+accu_stage3\7f1477,59827
+:- pred acc_proc_info\7f1508,61327
+acc_proc_info\7f1512,61486
+:- pred acc_pred_info\7f1556,63450
+acc_pred_info\7f1559,63598
+:- pred accu_create_goal\7f1600,65286
+accu_create_goal\7f1607,65629
+:- func create_acc_call\7f1621,66401
+create_acc_call\7f1625,66570
+:- pred create_orig_goal\7f1634,66988
+create_orig_goal\7f1638,67177
+:- pred create_acc_goal\7f1662,68158
+create_acc_goal\7f1667,68381
+:- func create_new_orig_recursive_goals\7f1709,70226
+create_new_orig_recursive_goals\7f1712,70369
+:- func create_new_recursive_goals\7f1723,70919
+create_new_recursive_goals\7f1727,71109
+:- func create_new_base_goals\7f1738,71718
+create_new_base_goals\7f1741,71832
+:- pred acc_unification\7f1749,72157
+acc_unification\7f1751,72226
+:- pred accu_top_level\7f1766,72897
+accu_top_level\7f1770,73059
+:- pred update_accumulator_pred\7f1856,76291
+update_accumulator_pred\7f1859,76412
+:- func accu_rename\7f1876,77254
+accu_rename\7f1879,77364
+:- func base_case_ids\7f1889,77785
+base_case_ids\7f1891,77847
+:- func base_case_ids_set\7f1898,78049
+base_case_ids_set\7f1900,78114
+:- func accu_goal_list\7f1905,78270
+accu_goal_list\7f1907,78350
+:- pred calculate_goal_info\7f1916,78681
+calculate_goal_info\7f1918,78754
+:- func chain_subst\7f1932,79320
+chain_subst\7f1934,79379
+:- pred chain_subst_2\7f1938,79483
+chain_subst_2\7f1941,79577
+:- some [T] pred unravel_univ\7f1956,80061
+:- pragma foreign_export\7f1957,80117
+unravel_univ\7f1961,80341
\f
c-src/c.c,76
T f(\7f1,0
add_active(\7f340,10527
parse(\7f353,10949
derived_analyses(\7f364,11341
-build(\7f378,11965
-buildact(\7f392,12521
-mapsyn(\7f412,13542
-add_edge(\7f434,14278
-findcats(\7f447,14758
-normalize_tree(\7f465,15478
-normalize_trees(\7f475,15856
-expandmng_tree(\7f486,16248
-expandmng_trees(\7f496,16614
-cat(\7f511,17013
-subtree(\7f644,21266
-hypothetical_mem(\7f653,21565
-make_coor(\7f667,22130
-start_up:-\7fstart_up\ 1688,23013
-tokenizeatom(\7f710,23921
-tokenize(\7f720,24348
-isoperator(\7f752,25377
-isoptab(\7f756,25431
-specialsymbol(\7f765,25756
-sstab(\7f771,25861
-parse_cgi(\7f787,26347
-keyvalseq(\7f792,26510
-andkeyvalseq(\7f796,26609
-keyval(\7f799,26688
-valseq(\7f807,26920
-plusvalseq(\7f810,27007
-val(\7f816,27109
-argvals(\7f824,27426
-commaargvals(\7f828,27503
-atomval(\7f833,27578
-atom(\7f836,27640
-action(\7f846,28004
-keyvalcgi(\7f864,28649
-keyvalscgi(\7f865,28670
-outsyn(\7f868,28726
-act(\7f876,29060
-actout(\7f901,29906
-texttreelist(\7f912,30089
-htmltreelist(\7f918,30190
-fitchtreelist(\7f924,30304
-pp_html_table_tree(\7f938,30759
-pp_html_tree(\7f949,31113
-pp_html_trees(\7f988,32381
-pp_html_table_fitch_tree(\7f999,32769
-pp_html_fitch_tree(\7f1017,33672
-removeexp(\7f1129,39002
-splitexp(\7f1142,39490
-pp_exp(\7f1155,39990
-map_word(\7f1168,40249
-pp_exps(\7f1180,40474
-pp_tree(\7f1188,40777
-pp_trees(\7f1216,41807
-pp_word_list(\7f1225,42128
-pp_word(\7f1231,42262
-pp_word_list_rest(\7f1238,42569
-pp_cat(\7f1248,42929
-pp_syn(\7f1255,43196
-pp_syn_paren(\7f1276,43899
-pp_paren(\7f1293,44377
-pp_syn_back(\7f1300,44661
-pp_bas_cat(\7f1311,45001
-writecat(\7f1322,45409
-writesubs(\7f1351,46455
-writesups(\7f1361,46757
-writelistsubs(\7f1371,47090
-pp_lam(\7f1380,47408
-pp_lam_bracket(\7f1398,48022
-pp_lam_paren(\7f1407,48338
-pp_rule(\7f1429,49238
-member(\7f1447,49866
-append_list(\7f1451,49919
-append(\7f1456,50010
-at_least_one_member(\7f1460,50076
-numbervars(\7f1464,50171
-reverse(\7f1467,50209
-select(\7f1471,50290
-select_last(\7f1475,50357
-cat_atoms(\7f1479,50436
-writelist(\7f1485,50524
-write_lex_cat(\7f1492,50676
-writebreaklex(\7f1500,50988
-write_lex(\7f1513,51265
-writebreak(\7f1521,51541
-tt:-\7ftt\ 11531,51713
-mt:-\7fmt\ 11534,51784
-cmt:-\7fcmt\ 11537,51878
+build(\7f378,11967
+buildact(\7f392,12523
+mapsyn(\7f412,13544
+add_edge(\7f434,14280
+findcats(\7f447,14760
+normalize_tree(\7f465,15480
+normalize_trees(\7f475,15858
+expandmng_tree(\7f486,16250
+expandmng_trees(\7f496,16616
+cat(\7f511,17015
+subtree(\7f644,21268
+hypothetical_mem(\7f653,21567
+make_coor(\7f667,22132
+start_up:-\7fstart_up\ 1688,23015
+tokenizeatom(\7f710,23923
+tokenize(\7f720,24350
+isoperator(\7f752,25379
+isoptab(\7f756,25433
+specialsymbol(\7f765,25758
+sstab(\7f771,25863
+parse_cgi(\7f787,26349
+keyvalseq(\7f792,26512
+andkeyvalseq(\7f796,26611
+keyval(\7f799,26690
+valseq(\7f807,26922
+plusvalseq(\7f810,27009
+val(\7f816,27111
+argvals(\7f824,27428
+commaargvals(\7f828,27505
+atomval(\7f833,27580
+atom(\7f836,27642
+action(\7f846,28006
+keyvalcgi(\7f864,28651
+keyvalscgi(\7f865,28672
+outsyn(\7f868,28728
+act(\7f876,29062
+actout(\7f901,29908
+texttreelist(\7f912,30091
+htmltreelist(\7f918,30192
+fitchtreelist(\7f924,30306
+pp_html_table_tree(\7f938,30761
+pp_html_tree(\7f949,31115
+pp_html_trees(\7f988,32383
+pp_html_table_fitch_tree(\7f999,32771
+pp_html_fitch_tree(\7f1017,33674
+removeexp(\7f1129,39004
+splitexp(\7f1142,39492
+pp_exp(\7f1155,39992
+map_word(\7f1168,40251
+pp_exps(\7f1180,40476
+pp_tree(\7f1188,40779
+pp_trees(\7f1216,41809
+pp_word_list(\7f1225,42130
+pp_word(\7f1231,42264
+pp_word_list_rest(\7f1238,42571
+pp_cat(\7f1248,42931
+pp_syn(\7f1255,43198
+pp_syn_paren(\7f1276,43901
+pp_paren(\7f1293,44379
+pp_syn_back(\7f1300,44663
+pp_bas_cat(\7f1311,45003
+writecat(\7f1322,45411
+writesubs(\7f1351,46457
+writesups(\7f1361,46759
+writelistsubs(\7f1371,47092
+pp_lam(\7f1380,47410
+pp_lam_bracket(\7f1398,48024
+pp_lam_paren(\7f1407,48340
+pp_rule(\7f1429,49240
+member(\7f1447,49868
+append_list(\7f1451,49921
+append(\7f1456,50012
+at_least_one_member(\7f1460,50078
+numbervars(\7f1464,50173
+reverse(\7f1467,50211
+select(\7f1471,50292
+select_last(\7f1475,50359
+cat_atoms(\7f1479,50438
+writelist(\7f1485,50526
+write_lex_cat(\7f1492,50678
+writebreaklex(\7f1500,50990
+write_lex(\7f1513,51267
+writebreak(\7f1521,51543
+tt:-\7ftt\ 11531,51715
+mt:-\7fmt\ 11534,51786
+cmt:-\7fcmt\ 11537,51880
\f
pyt-src/server.py,1438
class Controls:\7fControls\ 117,358
accu_store\7f584,22576
:- pred identify_recursive_calls\7f601,23288
identify_recursive_calls\7f604,23406
-:- pred identify_out_and_out_prime\7f626,24396
-identify_out_and_out_prime\7f631,24631
-:- type accu_sets\7f676,26425
-:- pred accu_stage1\7f689,26977
-accu_stage1\7f693,27155
-:- pred accu_stage1_2\7f727,28347
-accu_stage1_2\7f731,28515
-:- pred accu_sets_init\7f781,30557
-accu_sets_init\7f783,30605
-:- func set_upto\7f796,30984
-set_upto\7f798,31039
-:- pred accu_before\7f812,31498
-accu_before\7f815,31639
-:- pred accu_assoc\7f835,32477
-accu_assoc\7f838,32617
-:- pred accu_construct\7f862,33712
-accu_construct\7f865,33856
-:- pred accu_construct_assoc\7f896,35307
-accu_construct_assoc\7f899,35457
-:- pred accu_update\7f938,37069
-accu_update\7f941,37210
-:- pred member_lessthan_goalid\7f964,38219
-member_lessthan_goalid\7f967,38342
-:- type accu_assoc\7f975,38652
-:- pred accu_is_associative\7f986,39138
-accu_is_associative\7f989,39250
-:- pred associativity_assertion\7f1014,40263
-associativity_assertion\7f1017,40404
-:- pred commutativity_assertion\7f1037,41242
-commutativity_assertion\7f1040,41369
-:- pred accu_is_update\7f1057,41952
-accu_is_update\7f1060,42066
-:- pred is_associative_construction\7f1078,42802
-is_associative_construction\7f1081,42898
-:- type accu_substs\7f1095,43480
-:- type accu_base\7f1103,43744
-:- pred accu_stage2\7f1124,44605
-accu_stage2\7f1131,44946
-:- pred accu_substs_init\7f1179,46957
-accu_substs_init\7f1182,47097
-:- pred acc_var_subst_init\7f1194,47573
-acc_var_subst_init\7f1198,47718
-:- pred create_new_var\7f1207,48147
-create_new_var\7f1210,48288
-:- pred accu_process_assoc_set\7f1223,48862
-accu_process_assoc_set\7f1229,49150
-:- pred accu_has_heuristic\7f1297,52081
-accu_has_heuristic\7f1299,52161
-:- pred accu_heuristic\7f1304,52336
-accu_heuristic\7f1307,52457
-:- pred accu_process_update_set\7f1318,52906
-accu_process_update_set\7f1325,53221
-:- pred accu_divide_base_case\7f1380,55844
-accu_divide_base_case\7f1385,56059
-:- pred accu_related\7f1412,57146
-accu_related\7f1415,57270
-:- inst stored_goal_plain_call\7f1444,58415
-:- pred lookup_call\7f1449,58601
-lookup_call\7f1452,58715
-:- pred accu_stage3\7f1470,59432
-accu_stage3\7f1477,59826
-:- pred acc_proc_info\7f1508,61326
-acc_proc_info\7f1512,61485
-:- pred acc_pred_info\7f1556,63449
-acc_pred_info\7f1559,63597
-:- pred accu_create_goal\7f1600,65285
-accu_create_goal\7f1607,65628
-:- func create_acc_call\7f1621,66400
-create_acc_call\7f1625,66569
-:- pred create_orig_goal\7f1634,66987
-create_orig_goal\7f1638,67176
-:- pred create_acc_goal\7f1662,68157
-create_acc_goal\7f1667,68380
-:- func create_new_orig_recursive_goals\7f1709,70225
-create_new_orig_recursive_goals\7f1712,70368
-:- func create_new_recursive_goals\7f1723,70918
-create_new_recursive_goals\7f1727,71108
-:- func create_new_base_goals\7f1738,71717
-create_new_base_goals\7f1741,71831
-:- pred acc_unification\7f1749,72156
-acc_unification\7f1751,72225
-:- pred accu_top_level\7f1766,72896
-accu_top_level\7f1770,73058
-:- pred update_accumulator_pred\7f1856,76290
-update_accumulator_pred\7f1859,76411
-:- func accu_rename\7f1876,77253
-accu_rename\7f1879,77363
-:- func base_case_ids\7f1889,77784
-base_case_ids\7f1891,77846
-:- func base_case_ids_set\7f1898,78048
-base_case_ids_set\7f1900,78113
-:- func accu_goal_list\7f1905,78269
-accu_goal_list\7f1907,78349
-:- pred calculate_goal_info\7f1916,78680
-calculate_goal_info\7f1918,78753
-:- func chain_subst\7f1932,79319
-chain_subst\7f1934,79378
-:- pred chain_subst_2\7f1938,79482
-chain_subst_2\7f1941,79576
-:- some [T] pred unravel_univ\7f1956,80060
-:- pragma foreign_export\7f1957,80116
-unravel_univ\7f1961,80340
+:- pred identify_out_and_out_prime\7f626,24397
+identify_out_and_out_prime\7f631,24632
+:- type accu_sets\7f676,26426
+:- pred accu_stage1\7f689,26978
+accu_stage1\7f693,27156
+:- pred accu_stage1_2\7f727,28348
+accu_stage1_2\7f731,28516
+:- pred accu_sets_init\7f781,30558
+accu_sets_init\7f783,30606
+:- func set_upto\7f796,30985
+set_upto\7f798,31040
+:- pred accu_before\7f812,31499
+accu_before\7f815,31640
+:- pred accu_assoc\7f835,32478
+accu_assoc\7f838,32618
+:- pred accu_construct\7f862,33713
+accu_construct\7f865,33857
+:- pred accu_construct_assoc\7f896,35308
+accu_construct_assoc\7f899,35458
+:- pred accu_update\7f938,37070
+accu_update\7f941,37211
+:- pred member_lessthan_goalid\7f964,38220
+member_lessthan_goalid\7f967,38343
+:- type accu_assoc\7f975,38653
+:- pred accu_is_associative\7f986,39139
+accu_is_associative\7f989,39251
+:- pred associativity_assertion\7f1014,40264
+associativity_assertion\7f1017,40405
+:- pred commutativity_assertion\7f1037,41243
+commutativity_assertion\7f1040,41370
+:- pred accu_is_update\7f1057,41953
+accu_is_update\7f1060,42067
+:- pred is_associative_construction\7f1078,42803
+is_associative_construction\7f1081,42899
+:- type accu_substs\7f1095,43481
+:- type accu_base\7f1103,43745
+:- pred accu_stage2\7f1124,44606
+accu_stage2\7f1131,44947
+:- pred accu_substs_init\7f1179,46958
+accu_substs_init\7f1182,47098
+:- pred acc_var_subst_init\7f1194,47574
+acc_var_subst_init\7f1198,47719
+:- pred create_new_var\7f1207,48148
+create_new_var\7f1210,48289
+:- pred accu_process_assoc_set\7f1223,48863
+accu_process_assoc_set\7f1229,49151
+:- pred accu_has_heuristic\7f1297,52082
+accu_has_heuristic\7f1299,52162
+:- pred accu_heuristic\7f1304,52337
+accu_heuristic\7f1307,52458
+:- pred accu_process_update_set\7f1318,52907
+accu_process_update_set\7f1325,53222
+:- pred accu_divide_base_case\7f1380,55845
+accu_divide_base_case\7f1385,56060
+:- pred accu_related\7f1412,57147
+accu_related\7f1415,57271
+:- inst stored_goal_plain_call\7f1444,58416
+:- pred lookup_call\7f1449,58602
+lookup_call\7f1452,58716
+:- pred accu_stage3\7f1470,59433
+accu_stage3\7f1477,59827
+:- pred acc_proc_info\7f1508,61327
+acc_proc_info\7f1512,61486
+:- pred acc_pred_info\7f1556,63450
+acc_pred_info\7f1559,63598
+:- pred accu_create_goal\7f1600,65286
+accu_create_goal\7f1607,65629
+:- func create_acc_call\7f1621,66401
+create_acc_call\7f1625,66570
+:- pred create_orig_goal\7f1634,66988
+create_orig_goal\7f1638,67177
+:- pred create_acc_goal\7f1662,68158
+create_acc_goal\7f1667,68381
+:- func create_new_orig_recursive_goals\7f1709,70226
+create_new_orig_recursive_goals\7f1712,70369
+:- func create_new_recursive_goals\7f1723,70919
+create_new_recursive_goals\7f1727,71109
+:- func create_new_base_goals\7f1738,71718
+create_new_base_goals\7f1741,71832
+:- pred acc_unification\7f1749,72157
+acc_unification\7f1751,72226
+:- pred accu_top_level\7f1766,72897
+accu_top_level\7f1770,73059
+:- pred update_accumulator_pred\7f1856,76291
+update_accumulator_pred\7f1859,76412
+:- func accu_rename\7f1876,77254
+accu_rename\7f1879,77364
+:- func base_case_ids\7f1889,77785
+base_case_ids\7f1891,77847
+:- func base_case_ids_set\7f1898,78049
+base_case_ids_set\7f1900,78114
+:- func accu_goal_list\7f1905,78270
+accu_goal_list\7f1907,78350
+:- pred calculate_goal_info\7f1916,78681
+calculate_goal_info\7f1918,78754
+:- func chain_subst\7f1932,79320
+chain_subst\7f1934,79379
+:- pred chain_subst_2\7f1938,79483
+chain_subst_2\7f1941,79577
+:- some [T] pred unravel_univ\7f1956,80061
+:- pragma foreign_export\7f1957,80117
+unravel_univ\7f1961,80341
\f
c-src/c.c,76
T f(\7f1,0
projects / emacs.git / commitdiff