in curr_sym fixed a bug in predicate_property with properly handling tables.
in tables added max_ans as a tabling option.
Authored by: tswift 2018-04-16
Parent: [r9251]
Child: [r9253]