REDU12-Functions called only as procedures (result ignored)

Functions called only as procedures (result ignored) (REDU12)

These functions may possibly better be implemented as procedures, because the result is never used.

See also:

Reductions