If we got rid of the other NOT NULL != CHECK (a IS NOT NULL) instance, mayas well get rid of the one on this page:
http://developer.postgresql.org/docs/postgres/sql-createdomain.html
Chris