XSB Src (SVN)-old

Added another case to this test, along with change to reflect minor bug fix.

Somehow an extraneous 1 got in to change 250 to 2510 in snprintf length.
Linux compiler caught the potential buffer overflow.

Fixed memory error in new_table_error that was exposed by Valgrind. This one is probably minor, but it's a
memory error nonetheless.

Fixed a memory bug in build_delay_list() (called by get residual). Some of the underlying code looks a little
funky, but I dont feel confident enough to try a fix, but will dig in if it appears to be a problem.

A few changes pertaining to previous updates, and to tripwires.

Tests modified to support changes in previous updates

Testing changes to support new and changed functionality of previous ubdates.

Many changes to code that adds answers to tries, and that interns
terms to tries.

* Changed answer depth metric to answer size metric. This improves
the speed of adding answers and lays the groundwork for
functor-specific (size) limits. Changed the names of the flags as
well (depth-> size)

* Made answer terms and lists use the same depth limit. This helps
unify code, and later we will be able to weigh list and non-list
functors differently.

* Redid size checks so that cycle checking is always done, even if
max_table_answer_size is not set. (By default, when the size
reaches 400). Also updated checks in trie_intern to do the same.

* Took out failure and warning actions, which weren't of much use.

* Added stubs for tripwires when an answer exceeds size limit.

* Fixed bug where lists in large answers were not being properly
abstracted.

* Changed lots of variable, macro, and function names to support
better maintenance. Updated some, but by no means all documentation
in the manual.

Many changes to code that adds answers to tries, and that interns
terms to tries.

* Changed answer depth metric to answer size metric. This improves
the speed of adding answers and lays the groundwork for
functor-specific (size) limits. Changed the names of the flags as
well (depth-> size)

* Made answer terms and lists use the same depth limit. This helps
unify code, and later we will be able to weigh list and non-list
functors differently.

* Redid size checks so that cycle checking is always done, even if
max_table_answer_size is not set. (By default, when the size
reaches 400). Also updated checks in trie_intern to do the same.

* Took out failure and warning actions, which weren't of much use.

* Added stubs for tripwires when an answer exceeds size limit.

* Fixed bug where lists in large answers were not being properly
abstracted.

* Changed lots of variable, macro, and function names to support
better maintenance. Updated some, but by no means all documentation
in the manual.

Need this file for test_fl_analyze_scc.