Giving a meaningful error when abolish_table_subgoal is performed on a predicate that is
subsumptively tabled with index.
Authored by: tswift 2021-02-12
Parent: [r9812]
Child: [r9814]