assertion_check

assertion_check 
      ::= 
      "check" 
      "(" search_condition ")" 

This rule is called by

-> assertion_def