In reply to n347:
If you already understand how to write the constraint expression, then you already know how to write the checker expression—they are both the same thing. You can even call randomize(null) which checks the constraints using the current values of all your variables.