Relational operators

Relational operators[31]:

RULE: Expression ::= Expression 'instanceof' Type COMPUTE
  IF(NOT(IsReferenceType(Expression[2].Type)),
    message(
      ERROR,
      "Left operand of instanceof must be a reference type",
      0,
      COORDREF))
    <- INCLUDING RootType.TypeIsSet;
  IF(NOT(IsReferenceType(FinalType(Type.Type))),
    message(
      ERROR,
      "Right operand of instanceof must be a reference type",
      0,
      COORDREF))
    <- INCLUDING RootType.TypeIsSet;
END;

This macro is invoked in definition 26.