Added to support testing of subsumptive tabling.
Authored by: dwarren 2009-01-06
Parent: [r6209]
Child: [r6211]