XSB Src (SVN)-old

Fixed a bug in variant call search that arose when tabling a subgoal with thousands of variables. The bug arose
because some information was integer-encoded and decoded inconsistently. Also, I did a check on the maximum number
of variables in a subgoal, which I set to 2000, as a large number of variables in a subgoal will likely cause
problems somewhere else, and I think its reasonable to assume that such large subgoals are probably errors. The
exact number can be controlled by a flag, but the flag should only be used for experimentation.

Fixed a deep-seated memory bug in build_delay_list (used by get_residual). Keeping track of the varibles used in
a given delay element requires passing over 3 tries: the subgoal (de when called), answer (de after answer unif),
and delay tries (used to keep variables in delay elements straight). This is complicated by the fact that a delay
list contains several delay elements so their variable bindings need to be shared in a binding accumulator. This
accumulator must be refreshed for each delay_list for a given answer.

All this leads to considerable complications, where an array of bindings is maintained for a given delay element,
while these bindings are maintained in an accumulator. The original code juggled these arrays in a manner that
caused memory errors, so to get around this I wrote code to perform explicit copies, and made the bindings from the
delay trie load directly into the accumulator.

All this required a bit of code refactoring, and I also renamed some variables, as it the old names made things much
harder to follow than it would have been otherwise.

Expanded these tests to test out handling of delay_list variables by get_residual.

added comment to establish the provenance of the change

pipes are made binary under Windoze instead of text.
Tex pipes are bad because of end-of-line translation, which breaks programs
that use gpp. This breakage happens only sometimes and is hard to detect.

Fixed issue with uninitialized parameter to error reporting for cyclic/big interned tries.

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.