DROP SEQUENCE does not check domain constraints

[katzyn]

CREATE SEQUENCE SEQ;
CREATE DOMAIN D INT CHECK (VALUE < NEXT VALUE FOR SEQ);
DROP SEQUENCE SEQ;
SCRIPT;
> CREATE USER …
> CREATE DOMAIN "PUBLIC"."D" AS INT;
> ALTER DOMAIN "PUBLIC"."D" ADD CONSTRAINT "PUBLIC"."CONSTRAINT_4"
>     CHECK(VALUE < NEXT VALUE FOR "PUBLIC"."") NOCHECK;

I don't think that sequences should be allowed in table check and domain constraints, but I don't see such restriction in the Standard, maybe I'm missing it somehow.

Anyway, if we support them, they should be considered as dependencies.