XSB Src (SVN)-old

Added new cases to test of check variant.

tables -- check_variant now throws an error if the predicate for the input term is not trie_indexed.
curr_sym -- took out warning for T_FILE which is apparently the type of 0-ary preds.

Added null pointer check to check_variant.

Keep printing out idg info even if we can't find the subgoal associated with the key. I don't know where the bug is,
and still need to find it.

Now properly returning 0-ary predicates in get_Xdg_info.

Added case for 0-ary tabled subgoals, which weren't being returned properly in get_Xdg_info.

Now permitting dynamic + opaque.

Changed dynamic_predicate_has_clauses to work properly with 0-ary dynamic predicates.

Added test for dynamic opaque predicates.
Also, changed test of dynamic predicate has clauses slightly to allow the above.

final change