@1
'Unreachable' initiates a batch analysis of the
current EBNF. It findes all productions which
are not reachable from the language's axiom,
the nonterminal defined by the first rule.
@2
'AddIdDecls' is a special EBNFGenerator command:
All declarations missing for DeclIds, ApplIds
or LiteralIds will be added.
@3
'IsLexem' is a special EBNFGenerator command:
this pseudo comment adhered to a terminal rule
will make the parser generator distinguish
between conventional identifiers and the ones
designated by the included lexem.

--> Text, IsGraphic
@4
'IsText' is a special EBNFGenerator command:
this pseudo comment adhered to an increment
will direct the unparser generator to
provide increments of this type with
a textual representation.

--> IsGraphic, IsLexem
@5
'IsGraphic' is a special EBNFGenerator command:
this pseudo comment adhered to an increment
will direct the Unparser generator to
provide increments of this type with
a graphic representation.

--> IsText, IsLexem
@6
'IsInvisible' is a special EBNFGenerator command:
this pseudo comment adhered to an increment
will prevent the Unparser generator from
generating representation routines for
increments of this type.

--> IsNotSelectable
@7
'IsNotSelectable' is a special EBNFGenerator command:
this pseudo comment adhered to an increment will
direct the Unparser generator to make increments
of this type unselectable.

--> IsInvisible
@8
'IsMeta' is a special EBNFGenerator command:
this pseudo comment adhered to an increment 
will direct the label generator to
generate special MetaClass code
@9
'IsNotUnique' is a special EBNFGenerator command:
this pseudo comment adhered to an increment will
direct the generator to treat this id as a
special id (...)

---> IsExcluded
@10
'IsExcluded' is a special EBNFGenerator command:
this pseudo comment adhered to an increment will
direct the generator to treat this id as a
special id (...)

---> IsNotUnique
