Pascal Section 6.2.2.1

Each identifier or label contained by the program-block shall have a defining-point. This context condition is checked by a module computation that is implemented by the ChkIdUse role:

Pascal Section 6.2.2.1[3]:

TREE SYMBOL LblIdUse INHERITS ChkIdUse END;
TREE SYMBOL ConIdUse INHERITS ChkIdUse END;
TREE SYMBOL TypIdUse INHERITS ChkIdUse END;
TREE SYMBOL PrcIdUse INHERITS ChkIdUse END;
TREE SYMBOL FncIdUse INHERITS ChkIdUse END;
TREE SYMBOL ExpIdUse INHERITS ChkIdUse END;

This macro is defined in definitions 3.
This macro is invoked in definition 1.