check_constraint_def

check_constraint_def 
      ::= 
      "check" 
      "(" search_condition ")" 

This rule is called by

-> column_constraint
-> domain_constraint
-> table_constraint