What is HasTables supposed to accomplish? Is it just a general "there exists some tables" or are we checking for a specific set of tables? The first is not possible on ATS; the second is.