REDU24-Local identifiers never used

Local identifiers never used (REDU24)

This a list of all local identifiers that are declared but never used. It is actually a subset of the REDU1 report section, which reports all identifiers, not only local.

See also:

Reductions