XSB Src (SVN)-old

Expandable depth stack working for MT engine.

Expandable depth stack for bounded rationality

Fixed bug I introduced when changing types for Integer.
Now throws intended error message.

Minor changes in translating DL rules.

Minor indexing change

A few accumulated minor changes.

Support renaming of rid's to crid's (and vice versa)

Fixed bug when hash computation overflows int. Happened when increasing
depth of star index lookahead.

Make print_pterm tail-recursive, so fewer C runstack overflows.
(Counts number of close-parens to print on exit, so can be tail-recursive.)

Added predicates to analyze incremental subgoal dependency graph.