constraint:
   'if' '(' expression ')'
   ;