The try statement

The try statement[25]:

RULE: CatchClause ::= 'catch' '(' FormalParameter ')' Block COMPUTE
  IF(NOT(IsCoercible(FinalType(FormalParameter.Type),throwableType)),
    message(ERROR,"Catch parameter must be throwable",0,COORDREF))
    <- INCLUDING Goal.GotAllConstants;
END;

This macro is invoked in definition 14.