XSB Src (SVN)-old

Final for get_residual_sccs and friends.

Changes for get_residual_scc and friends.

Change for get_residual_scc and friends. Doing a lot of updates to
debug sourceforge commit messages.

Updates to document get_residual_sccs and friends.

*** empty log message ***

Upped the size of trail for excess vars.

Fixed another obscure bug that was causing obscure core dumps.
cell_array, used by sprintfs was much too small, so I expanded it. I
do give a post traversal check to see if its expanded too much.

In addition, I'm now doing more resetting when we abort for a tabled
subgoal that is too big. I've also included XSB throws in Ctrace, at
least when they occur from the C level.

Changes to fix problems with expanding VarEnumerator array, the array
that handles variable aliasing when tabling terms. When expanding
this array, we had been doing a realloc. However, expansion may occur
midway through copying a term into a table. If this happens there is
the possibility that the part of the term that is not yet copied could
point into the *old* VarEnumerator array. If this happens with a
realloc, we get a dangling pointer, which was the cause of a core dump
on some flora programs.

My fix was 1) to replace the realloc with a malloc and 2) to grow the
array more aggressively, by powers of 2. This leads to a small memory
leak in certain cases, but the leak is bounded by the current size of
the VarEnumerator array, and so will be insignificant.

Expandable depth stack working for MT engine.

Expandable depth stack for bounded rationality