well it seems the intuition by reading the docs was correct, although not exactly explicit. A Trigger is the way to do this.
....
I answered this on the first email you sent. Functions are black-boxes so its up to the author to ensure that the restrictions on check constraints remain met when using them.