Only reject queries on tables with unmapped column types

[agusaldasoro]

Problem

SmtLibGenerator declares every table of the schema for every query. getConstructors throws Unsupported column type for any column whose type has no entry in TYPE_MAP (e.g. BLOB, BYTEA, JSON, UUID depending on the backend). So a single such column anywhere in the schema made generation fail for every query, including queries on tables that never touch it. In a schema like that, the solver produced no data at all.

Fix

• Excluded tables. SmtLibGenerator computes the tables it leaves out of the formula (undeclaredTables):
  • tables with a column of an unmapped type;
  • transitively, tables with a foreign key to one of them. A row referencing a table that is not declared could never be inserted.
• Constraints. These tables are filtered out of smtTables, so their declarations, keys, CHECKs, boolean/timestamp constraints and get-values are all skipped.
• Rejected queries. generateSMT first rejects a query that reads from an excluded table (rejectUndeclaredTables). The Unsupported column type: … message now names the column and table. Such a query is still recorded as an untranslatable SMTLIB_GENERATION failure, as before.

Tests

New UnmappedColumnTypeTest, on an H2 schema with users, blobs (payload blob) and blob_refs (FK to blobs):

• a query on users is translated, and blobs does not appear in the formula. On master this throws Unsupported column type;
• a query on blobs is rejected;
• a query on blob_refs is rejected.

UntranslatableQueryCacheTest keeps using a query on the blob table as its generation failure. Only its comment changed: it said every query against that schema fails.

All tests under org.evomaster.core.database.sql.solver pass.