Added abolishing of cdf tables in check_identity, since call to intensional could
call cdf predicates which create tables, which will out of date after an update.
Authored by: dwarren 2010-06-28
Parent: [r6665]
Child: [r6667]
