The synchronized statement

The synchronized statement[24]:

RULE: Statement ::= 'synchronized' '(' Expression ')' Block COMPUTE
  IF(NOT(IsReferenceType(Expression.Type)),
    message(
      ERROR,
      "The expression must yield a reference type",
      0,
      COORDREF))
    <- INCLUDING Goal.GotAllConstants;
END;

This macro is invoked in definition 14.