intotab4 ::= 

  [[EVALUATE_CHECK_CONSTRAINTS] [REENABLE] [DISABLED_CONSTRAINTS]]