adding CheckConstraint[] function to help the user debugging