Backing out a change where predicate_property returned tabled(_). The
problem was that due to XSB's module system the structure was not
exported from curr_sym.P making it exteremely confusing to use. predicate_property is now returning tabled and or variant and/or subsumptive.
