Implementing SQL ASSERTION

failed: regress/triggers, regress/assertions, regress/sanity_check, regress/errors, regress/select, regress/select_into, regress/select_distinct, regress/select_distinct_on, regress/select_implicit, regress/select_having, regress/subselect, regress/union, regress/case, regress/join, regress/aggregates, regress/transactions, regress/portals, regress/arrays, regress/btree_index, regress/hash_index, regress/update, regress/namespace, regress/prepared_xacts, regress/delete, regress/brin, regress/gin, regress/gist, regress/spgist, regress/privileges, regress/init_privs, regress/security_label, regress/collate, regress/matview, regress/lock, regress/replica_identity, regress/rowsecurity, regress/object_address, regress/tablesample, regress/groupingsets, regress/drop_operator, regress/password, regress/func_index, regress/alter_generic, regress/alter_operator, regress/misc, regress/psql, regress/async, regress/dbsize, regress/misc_functions, regress/sysviews, regress/tsrf, regress/tidscan, regress/stats_ext, regress/rules, regress/psql_crosstab, regress/amutils, regress/select_parallel, regress/write_parallel, regress/publication, regress/subscription, regress/select_views, regress/portals_p2, regress/foreign_key, regress/cluster, regress/dependency, regress/guc, regress/bitmapops, regress/combocid, regress/tsearch, regress/tsdicts, regress/foreign_data, regress/window, regress/xmlmap, regress/functional_deps, regress/advisory_lock, regress/json, regress/jsonb, regress/json_encoding, regress/indirect_toast, regress/equivclass, regress/plancache, regress/limit, regress/plpgsql, regress/copy2, regress/temp, regress/domain, regress/rangefuncs, regress/prepare, regress/without_oid, regress/conversion, regress/truncate, regress/alter_table, regress/sequence, regress/polymorphism, regress/rowtypes, regress/returning, regress/largeobject, regress/with, regress/xml, regress/identity, regress/partition_join, regress/partition_prune, regress/reloptions, regress/hash_part, regress/indexing, regress/partition_aggregate, regress/event_trigger, regress/fast_default, regress/stats, regress/copy, regress/copyselect, regress/copydml, regress/create_misc, regress/create_operator, regress/create_procedure, regress/create_index, regress/index_including, regress/create_view, regress/create_aggregate, regress/create_function_3, regress/create_cast, regress/constraints, regress/inherit, regress/create_table_like, regress/typed_table, regress/vacuum, regress/drop_if_exists, regress/updatable_views, regress/rolenames, regress/roleattributes, regress/create_am, regress/hash_func